As reservas internacionais brasileiras atingiram a marca de US$6,519 bilhões em julho, segundo dados oficiais divulgados ontem pelo Banco Central (JC).