Implement extension of sign bits for negative values in the uint64_t