return NodeValue.makeFloat(nv1.getFloat() / nv2.getFloat()) ;
case OP_DOUBLE:
// No need to check for divide by zero
return NodeValue.makeDouble(nv1.getDouble() / nv2.getDouble()) ;
default:
throw new ARQInternalErrorException("Unrecognized numeric operation : ("+nv1+" ," +nv2+")") ;
}
}