19-12-10T12:00", 1575979200000]
   ]);
   testValueAsNumberSetter("datetime-local", dateTimeLocalInput, [
     [1575936000000, "2019-12-10T00:00"],
     [1575979200000, "2019-12-10T12:00"]
   ]);

   const numberInput = document.getElementById("input_number");
   testValueAsNumberGetter("number", numberInput, [
     ["", NaN],
     ["123", 123],
     ["123.456", 123.456],
     ["1e3", 1000],
     ["1e", NaN],
     ["-123", -123]
   ]);
   testValueAsNumberSetter("number", numberInput, [
     [123, "123"],
 