I posted this in another thread but technically we don't know what system they're using. Some people do in fact use versions as strict rational numbers, while others just use the dot as a separator.

Since the first numbered patch was 1.15a, we have no way of knowing which they are using (although the "0" would suggest non-decimal), and won't for sure until we get patches after 2.0.