Use double precision for coordinates

Hi,

This changeset replaces floats with doubles for coordinates.
I did not see any significant impact on performance on my benchmarks.

Thanks for this great implementation, it is really way faster than any other Java implementation I could find out there !

Cheers