The GIMPS (Great Internet Mersenne Prime Search) project uses distributed computing to find Mersenne primes. As of 2024, what is the roughly the size of the largest known prime?