Use NumericConstant