let scale n uints = let l = List.map (scale_interval n) uints.ints in union { uints with ints = l; expl = uints.expl }