Thank you!
I did figure out that Postgresql doesn't have an ALTER COLUMN command that would do what I wanted, but I couldn't figure out how to change the column size any other way than recreating and dropping the table, but your code is so much easier.
I had a vague recollection of seeing a previous posting that did the same thing, but I couldn't find it.
Again, thanks! (Especially for the quick response!)
Peter