別に
アーキテクチャ依存の話を持ち出さずとも、
　fractional(n) = n * fractional(n-1)
とゆー事実をもってただちにfractional(n)は末尾再起と言える
なぜなら
　fractional(n) = n * ((n-1) * fractional(n-2))
　　　= n * ((n-1) * ((n-2) * fractional(n-3)))
= ....
となってfractional(0)に至るまで延々展開でき、*が可換である故にこれは
　fractional(n) = n * (n-1) * fractional(n-2)
　　　= n * (n-1) * (n-2) * fractional(n-3)
= ....
となって右端を延々展開して「も」得られるからである

*の可換性への依存を良しとしない立場をとったとたん、末尾再起関数と認められるものは
　f(n) = f(n-1)
とゆーnに関する恒等写像のみとなる
そう言いたいのであれば別に止めはしないがそっちの方が異端じゃないの；
つまり頭おかしい