Class type Dom_svg.​animatedInteger

class type animatedInteger = [int] animated