128-bit float arithmetic in JavaScript.