Changing a cast from unsigned to uint64_t, should be NFC in practice.