HTMLInputElement

Also written: HTMLButtonElement, Element

TypeScript's built-in types for page elements: `Element` is the general one, and `HTMLInputElement` is an input box, which has `value` and `valueAsNumber`.