Class type Dom_svg.animatedInteger

class type animatedInteger = [int] animated