Idle question: is there a way to preserve the original numerator and denominator of an exact integer when entered as a ratio? For example, `4/12`

evaluates to `1/3`

and `(numerator 4/12)`

returns `1`

, but is it possible to get `4`

(or `12`

) out of that value?

I looked around a bit in the docs, but it looks like this information is discarded by the reader.