specify numeral version