Um servidor público foi a uma papelaria da prefeitura para...

Um servidor público foi a uma papelaria da prefeitura para adquirir materiais de expediente para seu setor. O valor total da compra foi de R$ 47,50. Ele efetuou o pagamento com uma cédula de R$ 100,00. No momento de receber o troco, o atendente distraiu-se e perguntou quanto deveria devolver. Para auxiliar o atendente, o servidor precisa calcular corretamente o valor do troco. Considerando que não houve descontos nem acréscimos na compra, qual é o valor que o servidor deve receber de volta?