{\modulo 25 3}
{\modulo -32 7}