@hackage positive0.4.1

Positive integers.

Positive numbers.