Exemplos de casting, fatorial