Improved type deduction for numeric ops