#57 javascript floating-point error