Create int_cast.md