Keep version number within the range of a Java int for Bug#966562