Factorial with bigint and reduce

Factorial with bigint and reduce