0x3ff8b7dd