use HTML5 input type in support of NUMERIC options