Adicionando um workaround para o cast de inteiros