[add] rational arithmetic