armeabi does so too have int32 and int64 :P