Tests whether a number is negative.
isneg
Flavor:Instance B ← isneg BI
B ← isneg BI
Flavor:Blueprint B ← isneg BI