こうして9のことを9.0とか9.00とか9.00000000000000とかく児童が量産されるわけですね。。