C.3.1 __U64的减法