Another fix in VersionNumber::operator== which failed in some cases when
development stages were used.