(insert 8000) seems fundamentally broken to me. Integers are not
characters. We went through reams of Ebola warnings last year
(or was it the year before) to get rid of stuff like this.
I think Finsert ought to be made to signal wrong-type-argument
when handed an integer.