Definition s32Min : Z := -(2 ^ 31).
