Em uma simulação de "mercadinho" no laboratório, as crianças aprendem a manusear o dinheiro e a calcular troco. Se um aluno compra um brinquedo de R$ 12,50 e paga com uma nota de R$ 20,00, o cálculo do troco envolve operações com números decimais. Assinale a alternativa correta sobre o valor do troco e a operação realizada.