The opposite of type casting