A Florida man found the largest known prime number on his fourth try