Tweak version number scheme, insert leading 0.0