この問題、大事な前提を見落とされている方が多いと思うんですけど、
これは小3の計算問題なんですよ。
人生で初めての小数の最初の計算です。
だから有効数字云々の話はないのです。
(有効数字は中学で習う高度な概念です)

その上で、「9.0を9と修正すべきかどうか」、ということですが、
私はすべきと考えます。
なぜかというと、9.0を9と修正することにより
子供たちに9.0が9と同じ数である、と教える必要があるからです。
小数の習いたてですから、有効数字の概念は別として
そもそも9.0と9が数値として同じであると気付かない子が
存在しうるのです。
それを徹底して教えることこそ、この最初の段階ですべきことです。