protected abstract NumberConst ReverseRemainder(NumberConst b);
protected abstract BooleanConst ReverseEqualTo(NumberConst b);
protected abstract NumberConst ReverseDivide(NumberConst b);
public abstract NumberConst ReverseExactlyDivide(NumberConst b);
protected abstract NumberConst ReverseMultiply(NumberConst b);
protected abstract NumberConst ReverseMinus(NumberConst b);
protected abstract NumberConst ReverseAdd(NumberConst b);
protected abstract BooleanConst ReverseLessThan(NumberConst b);
protected abstract BooleanConst ReverseGreaterThan(NumberConst b);