Create type_casting_inference.md