9を自然数の9とし、9.0をは実数の9.0として全然別物として放置することだってできる。
自然数を実数体の中に埋め込んで順序関係を定義して9 = 9.0という等式が
成り立つようにするのが普通だからと言って「まったく同じ」というのはいかがなものか。

だがこんなこととは無関係に9も9.0もどちらも正解とすべきだ。