Implemented type casting