More accurate docs on `input type="number"`