html5 number inputs and exception handling