force inputs to inttoptr to be i32 if they are i64; fixes #827