float_precision.js