Quiet the unit64_t casts