It depends what coordinate system you wish to use. If it it pixel coordinates then integers should be fine, but if we need to stick to tile coordinates then we would need float values to represent values in between tiles.