TeX source:
0\leq m \leq 2^{31} -1