International box office is of course great, but as I pointed out, they get less % of every international market than domestic typically, varying significantly by country.
So yes, doing good international box office does help a movie's bottom line, but $1 domestic box office is > $1 international typically.