[Dom_svg.numberList Js.t] Dom_svg.animated