let d_num = function
  | App(Arith(Num(q)), []) -> Some(q)
  | _ -> None