It doesn't really make sense for a mouse cursor to be in-between pixels of a screen. I think we should leave these as Ints (same goes for X and Y).