Test for [html5]. By default an integer is an HTML5 number, using html5="false" makes [IntegerNoHtml5] also not anymore HTML5-required