Tests whether a number is equal to one.
isone
Flavor:Instance B ← isone BI
B ← isone BI
Flavor:Blueprint B ← isone BI