_64e15
#define _64e63 (_64e15 * _64e16 * _64e16 * _64e16)
while( r >= 0.5*_64e15 && exp < 1008 ){ r *= 1.0/_64e16; exp += 16; }