Motivation

It would be nice to have some basic capabilities for things like FloatingPoint and FixedPoint built-in at an operator level, so you can just compare two FPs (greater/less than/or equal to, plus, minus, etc.).

Desired solution

Add operator overloading (relative to base Logic), and maybe more, for arithmetic types

Alternatives considered

No response

Additional details

No response