Replace leading 00 with + for international phone numbers

Is there a way to replace the leading 00 with + sign for international phone numbers? For example,
0039123456789 becomes +39123456789

Not without modifying the codebase.

Cheers.

Thanks Kevin (as always!)