Overloading relational operators separately; thoughts?

[Guillaume Boucher via Digitalmars-d]

On Wednesday, 28 September 2016 at 14:27:58 UTC, Chris Wright 
wrote:
> Increment, decrement, and
> test for equality is sufficient mathematically, but we want 
> programs that
> terminate in our lifetimes.
> </pedantry>

Only for BigInts you need those three.  For ints decrement is not 
needed.  And for most other data types increment/decrement is not 
sufficient, e.g. for reals or any kind of vectors/matrices.