let is_numeric exp = 
  match (type_of exp).ct_ty with
    Tbuiltin _ -> true
  | _ -> false