Documented type casting.