Hi,
The behavior here was to truncate the float value into an int. But if that is what you are talking about, then I will put it back in.
From a graphics perspective, the "right" thing to do is to round the values. However, in practice, truncation is probably sufficient (it didn't bother me).
Thanks,
Ian