doc and type casting