rename variable for __int128 traits
refactor `phin_minus_psin` -> `diff`