9≠9.0なわけで
9=9.0と思い込むと後々不都合ありそう