System.Negative - Manhunter07/MFL GitHub Wiki
Declaration
type Negative = range(-System.Inf, 0)
Description
The Negative type in the System package represents the a constraint for negative numeric values, those being any numbers between (including) -Inf (negative infinity) and 0. Values can be either integers or floating-point numbers with a fractional part. The value range for Negative is a subset of that of the more generic Number type.