0x3ff64dc0