Rational type

[IMP1]

Are rational literals parsed? Are integer division results returning a rational or an integer? If a rational (which I think is preferable), is there an integer division operator? Or a floor function?

[IMP1]

1 / 2 should be 1/2, or exactly 0.5, not 0, and not roughly 0.5