0x5f3759df/2^23