assert(numeral<0101,2>::value == 5)