[math-fun] Wolfram Alpha large factorial bug