Не напомните, какие есть языки с полиморфными арифметическими операторами (т.е. по кр. мере работающими для целых и вещественных чисел), в которых тип операции всегда определяется по левому операнду даже для примитивных типов?