Mudei o tipo atributo 'valor' da classe 'TicketMachine' de int para double.