When the sequence is unsigned bigint, it needs to be cast to unsigned
for correct computation of the modulus.