Properly handle size_t and uint64_t