The largest number representable in 64 bits (via fanf) — discussion

#math