cast a version number.