makes a cast explicit