I have this nagging feeling that decking comes in two fairly common thicknesses. 5/4, which, of course, is only an inch thick, and a slightly thicker size. What's the other size? -- David Scheidt dmscheidt at gmail.com