Помимо того факта, что =:=предотвращает нежелательное целочисленное приведение:
=:=
1> 1=:=1.0. false
В чем преимущество использования =:=с терминами вообще?
Лучшая производительность?