[MLton] C_Int_t format string

[Stephen Weeks]

> I guess Cygwin's gcc doesn't consider int32_t to be equivalent to int. 
> Probably the best thing to do is to cast the C_Int_t arguments to int; 

Thanks, that worked.