case NONNUMERIC :
// if this is modified, please modify the getArithmeticOperations
// in TypeChecker as well
ops = getArithmeticOperations(v1Type);
if (ops != null) {
return ops.divide(v1, v2);
}
return newReal(type, doubleValue(v1) / doubleValue(v2));
case CUSTOMNUMERICTYPE:
// support money/BigDecimal and
// money/money as in getting percentage