>片方の順序は「≦」でなく別の記号(「≦’」がよく使われる)を使う。
そう言いたかったのなら理解した。しかしそれなら肝を知った上での
>>595でしょ。何をさせたかったのやら？

それより、本質的に訊きたいのだが、

「辞書式より、1>0.99999ではないのか」という疑問に対する返答は、
「形が違っても同じものはあるんだから同じだ。」で十分なのか？
それとも「その不等号は普通の不等号じゃない」とでもするのか？
辞書式が有効な場合の条件を合理的に説明しなくていいの？