>>474
9と9.0は同じ整数だと思います
表記は違いますが

あなたの中では、おそらく実数とは別の集合における演算を考えているみたいですね
その代数体系をきちんと定義してみてくれませんか？