"If the data is an instance of a recognized type T, then the data is cast into a recognized type T (step 9712)." . . . .