// https://w3c.github.io/svgwg/svg2-draft/types.html#InterfaceSVGNumber
[Exposed=Window]
interface SVGNumber {
    attribute float value;
};