General relation between signed long and signed int minima.
Theorem: slong-min-<=-sint-min
(defthm slong-min-<=-sint-min (<= (slong-min) (sint-min)) :rule-classes :linear)