let ensure_numeric (e1 : expr) = 
  if is_numeric e1 then () else raise (TypeError_typed(e1,"not a numeric"))