correct factorizer; generally too slow for 8-digit numbers