let d_num = function
    | Arith(Num(q)), _ -> q
    | _ -> raise Not_found