factorial example (bignum demo)