HTML5 : Make a_input_max and a_input_min take floats.