FIX: np.random.randint expects signed 32 bit integers under Windows