x64 implementation (overflow fixes)