Fix behavior on other than platforms which doesn't use __int128