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