0x3ffdf32f