Are we garantee to get exactly or at least 32 bit integers?