Allow users to drag focused numeric inputs.
Makes it a lot easier to get fine-grained input out of stock browser
input elements. Still a little bit of jank to dispel (desktop browsers
will let you drag selected text between inputs, which is easy to
trigger accidentally), but we'll revisit later.