Better type casting examples.