using HTML5 type=number for datatype specified as integer or long