Well you pointed people to www.mersenne.org i.e., George Woltman's
pages about searching for Mersenne primes via Intel's (infamously
bug-ridden) floating point. Their main competitor is Slowinski using
Cray's (infamously imprecise) floating point. The results are checked
by Crandall using IEEE floating point.
Is the connection not apparent?
-- Rob.