0x3ff52fea