. . . "If x is a real number and [x] is the greatest integer less than x then x-[x] = x modulo 1." . .