Update Math.hs