[jhc] darcs patch: add Jhc.Num.m4 and Jhc.Inst.Num that were accidentaly ...