RATION: a rational arithmetic package