change int_t -> intp_t (problems on Windows otherwise)