let opp_rat = function Rat (r) -> Rat (Num.minus_num r)