arg is signed, wouldn't this also detect any 32 bit values with a leading 1?