_64e3
#define _64e15 (_64e3 * _64e4 * _64e4 * _64e4)
while( r >= 0.5*_64e3 && exp < 1020 ){ r *= 1.0/_64e4; exp += 4; }