:: Natural -> Nat package:ihaskell

Indicate if the value is a power of two and which one
Try downcasting Natural to Word value. Returns (##) if value doesn't fit in Word.