Edit phone number in phone app
I'm afraid you are correct in your assumption, once a number has been typed and a call initiated, it is not able to be edited within the phone app directly, and needs to be either sent to a new contact where you can then amend the number, or cut/paste elsewhere to allow you to make changes.