Fixed various bugs in numerical-entailment, and made it produce proper OSes.