Fix casting uint64_t to size_t for 32-bit builds (#1999)

Fix casting uint64_t to size_t for 32-bit builds (#1999) #2273