My understanding was that they used doubles as int52&#x27;s, and the troubles they had came when that int52 overflowed and corrupted the exponent of the double.<p>As opposed to the usual double problems.