Comparing operator proxies needs to work, despite not having a good way to do it. Even a bad way is better than not working at all. At the very least, a proxy should be comparable with a Units::Numeric by converting the proxy to the Numeric's unit.