return v1.subtract(v2, true);
}
@BIF(name = "/", type = Type.GUARD)
static public ENumber divide$p(EObject v1, EObject v2) {
ENumber n1;
if ((n1 = v1.testNumber()) != null) {
ENumber n2;
if ((n2 = v2.testNumber()) != null) {
if (n2.doubleValue() == 0.0)
return null;
return n1.divide(v2);
}
}
return null;