0x3ff80fa1