gambitproject/gambit — pull request #85 by albertjiang (2013-06-05 07:36:17+00:00)
Title: Catch exceptions when reading rational number ended with eof

Previously, operator>> crashes when reading a (valid) rational number
that ends with eof. This patch fixes the problem.