public void apply(final RippleList arg,
final Sink<RippleList> solutions,
final ModelConnection mc) throws RippleException {
RippleList stack = arg;
NumericValue a, b, result;
b = mc.toNumericValue(stack.getFirst());
stack = stack.getRest();
a = mc.toNumericValue(stack.getFirst());
stack = stack.getRest();
// Note: division by zero simply does not yield a result.
if (!b.isZero()) {
result = a.div(b);
solutions.put(
stack.push(result));
}
}