Module numeric 

Numbers (validation rules, “Values”): numeric text, numeric values and exact step multiples.

Functions

is_multiple

Whether finite value is an integer multiple of finite step > 0, both read as the decimals their canonical texts write; decided exactly.

number_range

The bounds of a range parameter: [minimum, maximum] finite numbers with the minimum not above the maximum.

step

The increment of a step parameter: a finite number above 0.