(Number x)
| 839 | |
| 840 | //public Number subtract(Number x, Number y); |
| 841 | final public Number negate(Number x){ |
| 842 | Ratio r = (Ratio) x; |
| 843 | return new Ratio(r.numerator.negate(), r.denominator); |
| 844 | } |
| 845 | |
| 846 | public Number inc(Number x){ |
| 847 | return Numbers.add(x, 1); |