@hackage positive0.4

Positive integers.

Positive numbers.