On Friday, 14 January 2022 at 23:51:37 UTC, Ola Fosheim Grøstad wrote: > Yet x < x+1 does not hold for any types in D. So much for > ordering principles... Hm, we do have !(x > x+1) for floats...