cast (Object control)

Converts one number to the same primitive schema as another number. Real numbers can be cast to each other, or a real number to an integer, or an integer to a real, but you can’t cast an integer to a natural with a different size. E.g. when you need to cast 255n8 to Int32, first cast it to Nat32 (natural with a different size), and only after that cast to Int32 (integer with the same size). When you cast a negative integer value to a natural value, you will get 2^N-value, where N is the size of the result. When you cast a negative real number to a natural value, the behaviour is undefined.

Arguments

is the number to convert.
is the number having the primitive schema to convert to.

Return values

is the resulting number.

Example

1 0.0 cast print
Output: