Tests whether a number is positive.
ispos
Flavor:Instance B ← ispos BI
B ← ispos BI
Flavor:Blueprint B ← ispos BI