Rational: Monzo with implicit subgroup starting from prime 2.
Irrational: Monzo with full subgroup even if most non-prime entries are 0. Formal primes with a zero exponent may be omitted, but no prime range syntax.
Make sure 0, 0r, NaN and Infinity have universal representation.
Reduce swi format to two cases:
Make sure
0
,0r
,NaN
andInfinity
have universal representation.