I don’t see why 1.0 should necessarily follow 0.9. The whole point of having a dot in there is that we can make a 0.10.

That said, maybe 1.0 is around the corner. But I have not seen much more indication of that than after 0.7 or 0.8.