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 + ")") ;
}
}