I guess if there is really no solution:

> you can not set a value to infinity when you declare a widget in pure HTML.

is a good argument as we want this do be doable in markup.

But what if Infinity was the default value for value? In this case having no value attribute will make this work?