Why do PostgreSQL examples say `+ integer '7'`?
Interesting question, and I don't know the answer.  My best guess is that all the other examples use the same way of casting, and someone thought it is better having it consistent.  If you are pissed off irked by this, you can scroll to the bottom of the page and send a complaint using the form linked there.