Set NumSignBits to 1 if KnownZero/KnownOne are being zero extended. In theory it