Fix for windows with python 63 bits, where python int are 32 bits.