factorial_prec_round and factorial_prec, for computing correctly-rounded factorials.
factorial_prec_round
factorial_prec