Create int_cast.h