unfortunately distversion may be 0 (which is not good itself, but anyway it is defined and it is a number)