formal version number declaration.