0x1.ffffffffffffffp+1023
