From: Torbjorn Granlund <tg at gmplib.org> Date: Wed, 03 Apr 2013 01:05:05 +0200 > (Your system runs not at 2.8 GHz as I assumed, but slightly more.) The clock rate is 2847862500.