Default type inference of integers

[JeffreyEarly (Jeffrey J Early)]

Yes, I do think that, and I hate the ÷ symbol. I'm brainstorming solutions.