New York City exterior shots

About the NYC exterior shots of Mario, is that Vittorrio Gassman, or a body double?

By NYC exterior shots, I mean the ones that were shot on location in NYC itself, not the ones in Cinecitta Studios in Rome.