remove cast(..,Int)