The better way to deal with number inputs that you probably aren’t using

Use input.valueAsNumber for a simpler way to read and write numbers from number inputs in HTML and JS