Interesting! I wonder what drove their decision to use rational number representation.
Is it possible to turn this feature off and use floating point instead (for performance reasons, let's say)?
`Rat` is what falls out of the expressions the OP was working with, specifying you want `Num` is possible.