x+entier(1/2x)