Use int32_t from inttypes instead of numpy's version for full equivalence to cspikequeue.cpp