Just mark the sign bit as known zero, rather than any other irrelevant bits