Is the official work week 47.5 hours?

In the U.S., while I think it's true that people tend to work closer to 50 hours, we pay lip service to the "40 hour work week".