formal version numbering