Patch numbers aren't decimal. To be fair most patch numbers go in the format of ##.###.####, minecraft is just using ##.## and keeping the dev builds as "pre-releases". Basically, tl;dr, is that 1.9 doesn't go into 2.0 but rather you can have 1.9999 if you wanted to, it's not a decimal.