Результат деления двух интов почему должен отдать что то другое кроме инта при статической типизации
Разница динамической типизации и и статической только в том, когда нам известны типы. Если у нас они известны до момента запуска то результат деления может быть любым, какой мы захотим.