added some summary comments to the new factorial code
problem20 solved.... I now return a bigint from the factorial helpers....