Thanks for the reminder. Using terminal keyboard does enable pasting the number, with either Ctrl+v or >_, Menu, Paste.
With the default keyboard set to Terminal, according to these instructions, then the Terminal keyboard will not pop up when adding a Contact, because the Squeekboard button “Terminal” is not actually enabled unless you change that, too.