Factorization into prime numbers (#4824) - Basecamp