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