Require ZArith.
Check `32`.