Default HTML5 number formatted field is represented as integer unless precision is given. What shall we do then with floats?