Hello,

Do you know if the functions in the Num module always return the
most optimal representation for a Num.num ? That is if it can be
represented as an int, then it will return a Num.Int, and so forth?

Thanks!
N