Numbers

Integer predicates, random-number generation and numeric conversion.