Converting between types

There are some functions in the standard library for working with native Lux types.

lux;frac-to-real lux;int-to-nat lux;int-to-real lux;nat-to-int lux;real-to-frac lux;real-to-int

Regarding JVM-to-Lux interactions, just remember this:
Lux ints are JVM longs.
Lux reals are JVM doubles.
Lux texts are JVM strings.
Lux chars are JVM chars.
Lux bools are JVM booleans.