lib/cpp: switch Variant back to uint64_t