Add num.hs