Because modseq is declared `uint64_t`