Lists, rationals, polynomials and intervals - Implementation (types and basic operations) : Rat.abs

let abs_rat = function Rat r -> Rat (Num.abs_num r)