It's safer to do -1 so the "negative bit extends to width of unsigned" rule triggers for sure.