Use three digits of precision for version number.