add a utility for using uint64_t's in pub objects