Definition s64Min : Z := -(2 ^ 63).
