Rational Type

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:

|  |  |
| --- | --- |
|  | Ceil(:rational):int |
|  |  |
|  | Floor(:rational):int |

Ceil(:rational):int Floor(:rational):int

Copy full snippet(3 lines long)

However, rational will likely show up often in error messages. For example:

Z:int = X / Y

Z:int = X / Y

Copy full snippet(1 line long)

This will fail the type checker with a message that indicates that rational is not a subtype of int.