Update Integ.hs