64-bit floating point: a JavaScript story

September 20, 2017