0x3ff4ed48