Reverted to old factorial for standard precision because the new one would overflow silently, and started using an adjusted high precision factorial in the pragmatic evaluator.