{- Returns `True` if a number is odd and returns `False` otherwise Examples: ``` ./odd +3 = True ./odd +0 = False ``` -} let odd : Natural → Bool = Natural/odd in odd