Tests whether a number can be narrowed to an UnsignedInteger overflow.
fitu4
Flavor:Instance B ← fitu4 BI
B ← fitu4 BI