cs0 = 0 : [ c / Interval n | c <- cs | n <- [1..] ]