Tests whether a number is a power of two.
ispot
Flavor:Instance B ← ispot BI
B ← ispot BI
Flavor:Blueprint B ← ispot BI