It's always a judgement call and it depends a lot on the target platform.
If we _do_ want to port to the original Raspberry Pi, for example, I don't believe it even _has_ double precision floating point, so you'd be running through software emulation if you used them!
However, since it's entirely possible that we won't do a port to the original Pi, since there is a newer Pi and might be another newer one still by the time we would consider porting, it's also likely that you could get away with doubles if you really want them.
My suspicion, and it's hard to say at this point, but my suspicion is that in the end, it will be pretty clear and easy to just store things in spatial bins anyway, so we never actually "need" an absolute position anyway.
- Casey