Fix casting uint64_t to size_t for 32-bit builds

Fix casting uint64_t to size_t for 32-bit builds #2271