<div dir="auto">Sorry for the mix-up. It really turns out that I can't really define (==) with only min and max. However, it turns out that the suggested default definition is effective when (==) is properly given. I've come up with another type where it is effective, so stay tuned.</div>