fix uint64 overflow in the amd64