Hmm. In that case the mathematician in me would have preferred to see leading zeros. Going from 0.01, 0.02, ..., 0.09 to 0.10 would then be fine! 0.9 sounds very much likely it was nearly ready for release.