These days you can assume any number in a headline is as big as the editor could reasonably make it without violating too many technicalities.