Nein, nicht unbedingt, denn dann geht Information verloren, die du nicht durch simples Formatieren wiederhergestellt bekommst.
Das halte ich zumindest so lange für korrekt, wie die Herkunft der Daten und damit deren Eingabe-Format unbestimmt ist. Der Mehraufwand für das Speichern der (von wem auch immer manuell) getippten Nummer steht dann den Vorteil gegenüber, dass man diese auch manuell korrigieren kann.
Grund:
Niemand kann vorhersehen, was die Eintipper sich so ausdenken… Also kann das auch nicht mit irgendwelchen Garantien maschinell umgeformt werden. Menschliche Intelligenz ist, in der Gesamtbreite der Anwendungsmöglichkeiten betrachtet, der KI immer noch überlegen.