Python3: all integers are now 64 bits integers and so if the target is a 32 bit integer we must always do the conversion