Documentation for numeric functions.
Remove succ and pred, which are useless when specialized to numbers.