encode whole floats as ints