Tests whether a number can be narrowed to an UnsignedInteger64 without overflow.
fitu8
Flavor:Instance B ← fitu8 BI
B ← fitu8 BI