[math-fun] Factorial base