Just a suggestion for the numbering system: Even if it's a hot fix, add a number to the version. For instance, I have no idea if I have the 4.0 original or 4.0 hotfix.
Since you're already using 2 decimals, use the tenths for minor changes and the hundredths for bug fixes. This hotfix, should...