> the dividing line seems to be at 1e33.. Not sure what to make of that That’s not too bad. They are probably using hand-rolled FP128 format for their numbers.

> the dividing line seems to be at 1e33.. Not sure what to make of that That’s not too bad. They are probably using hand-rolled FP128 format for their numbers. If they were using hardware-provided FP64 arithmetic, the threshold would have been 2^53 ≈ 9E+15: https://en.wikipedia.org/wiki/Double-precision_floating-point_format#IEEE_754_double-precision_binary_floating-point_format:_binary64 https://en.wikipedia.org/wiki/Double-precision_floating-poin...