What is your opinion on quantising in other computational geometry problems? As far as I can see it could lead to problems when you need any sort of construction, but if you would have the same problems due to precision that you would have due to integer rounding, so I don't see the problem there. I imagine it would get quite inconvenient to typecast back and forth to do things like division though.