Finitize int ranges.
Ported abstract# to unified semantics.