Javascript floating point numbers