unsigned variable over-/under-flow and modulus