Expand description

Negation of a Natural, returning an Integer.