[11:42:33] <wm-bb>	 <Al> I noticed when setting up Z29297 that a Rational number in a typed pair appears not to be simplified. Is that a known bug, or do we just not have custom conversion for typed pairs yet?