Hi @stratus, the reason we do this is that one can actually change the coordinate space that we deliver coordinates in, which means floating point values are more suitable in many circumstances. Also, all 3d coordinates are delivered in millimeters, where floating point values make much more sense.
However, the default for coordinates on screen is pixels so of course rounding to the nearest integer is exactly what you should do. I hope this answers your query!