Fix print format for uint64_t random number seed