Use uint64_t for the number of rounds