Yeah, `Number.MAX_VALUE` in JS is 1.7976931348623157e+308, which is much bigger than 2^64.  And I'm pretty certain we're compiling all on platforms where it's equally large on the native-code side as well.

(I think the confusion comes from how some (older?) platforms define double and float as the same type.  The reference @couzteau linked to above seems to be defining minimum acceptable maxes, and in particular it has max float == max double).