All functions that deal with locations have parameters defined as integers, from getElementAt() to nextLocation() and everything inbetween. So, it shouldn't be a problem: the definition should be changed to float, a bit of rounding, a bit of recompiling and that's it. Not that I promise I'll do that
I'm programming 20 hours a day for the last three days and I barely see anything, but it should be easy.