Anybody using floating point?

I posted a bug report on the Java client’s support of floating point.

It will be very easy to fix.