__sub__, but a/b - a/b = 0/1, which is not wrong, just awkward