Another solution that a customer used:
Instead of copy-pasting, to backspace everything, and manually type in the number.
