[math-fun] Prefactored large numbers