Implement numeric fallback

Doesn't yet converge on a fixed point, but generally works. A better algorithm
will come with the implementation of default type parameter fallback.

If inference fails to determine an exact integral or floating point type, it
will set the type to i32 or f64, respectively.

Closes #16968
shouldn't this be changed to something that actually tests multidispatch & ambiguous destination ?