Nos jogos olímpicos do Rio de Janeiro, na final do arremesso...

Nos jogos olímpicos do Rio de Janeiro, na final do arremesso de peso, o atleta brasileiro Darlan Romani alcançou a marca de 21,02 metros, mas o primeiro lugar ficou com o norte-americano Ryan Crouser, com a marca de 22,52 metros. Qual foi a diferença, em milímetros, entre essas duas marcas?