A BigDecimal less than 0.
A BigInt less than or equal to 0.
A Byte in the range from Byte.MinValue to -1.
A Double less than 0.
A Float less than 0.
An Int in the range from Int.MinValue to -1.
A Long in the range from Long.MinValue to -1.
A Short in the range from Short.MinValue to -1.
A Double that is not NaN.
A Float that is not NaN.
A BigDecimal greater than or equal to 0.
A BigInt greater than or equal to 0.
A Byte in the range from 0 to Byte.MaxValue.
A Double greater than or equal to 0.
A Float greater than or equal to 0.
An Int in the range from 0 to Int.MaxValue.
A Long in the range from 0 to Long.MaxValue.
A Short in the range from 0 to Short.MaxValue.
A BigDecimal less than or equal to 0.
A BigInt less than or equal to 0.
A Byte in the range from Byte.MinValue to 0.
A Double less than or equal to 0.
A Float less than or equal to 0.
An Int in the range from Int.MinValue to 0.
A Long in the range from Long.MinValue to 0.
A Short in the range from Short.MinValue to 0.
A BigDecimal greater than 0.
A BigInt greater than 0.
A Byte in the range from 1 to Byte.MaxValue.
A Double greater than 0.
A Float greater than 0.
An Int in the range from 1 to Int.MaxValue.
A Long in the range from 1 to Long.MaxValue.
A Short in the range from 1 to Short.MaxValue.
Module for numeric refined types.