[02:17:36] <wm-bb>	 <David> Hi @u99of9 - Z6894 is indeed meant to be the equality function for all lightweight enum types. It's unfortunate that you can't see it when you visit the page for a particular type, but it should work for comparing any 2 instances of these types. If you are finding that it doesn't behave properly in any way, please let me know. (Sorry for the delayed response.) (re@u99of
[02:17:36] <wm-bb>	 9: Fo <clipped message>
[02:17:36] <wm-bb>	 <David> r example, I would like to add Z28272 as the equality function for Z27951. But an alternative would be to set Z6894 as the equ...)
[02:44:43] <wm-bb>	 <u99of9> Thanks David, (re @David: Hi @u99of9 - Z6894 is  indeed meant to be the equality function for all lightweight enum types.  It's unfortunate that you can't...)
[03:43:54] <wm-bb>	 <u99of9> Milestone: I think I just completed Z25999! Controlling the precision and rounding in these quantity conversions has involved abusing the rational number type by deliberate unsimplification, but I think I'm happy that the outcome was able to achieve everything I'd hoped. Feel free to test it and break it by adding failing tests.