Add basic operations directly on arithmetic types

### 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_