Tests whether a number can be narrowed to an Integer without overflow.
fiti4
Flavor:Instance B ← fiti4 BI
B ← fiti4 BI
Flavor:Blueprint B ← fiti4 BI