0x3ff4bd30