Three major numeric types are supported in Verse: int, used for integers, float, used for floating-point numbers, and rational, used for rational numbers.
The operations supported for the rational type are currently limited to these built-in operations:
Verse
Ceil(:rational):int
Floor(:rational):intHowever, rational will likely show up often in error messages. For example:
Verse
Z:int = X / YThis will fail the type checker with a message that indicates that rational is not a subtype of int.
See Int for more information on math operations and rational types.