I think it is better to keep the behavior consistent with uint64_t here.