kframework/mpfr-java — pull request #1 by dwightguth (2014-05-06 21:05:32+00:00)
Title: First draft of BigFloat package

@andreistefanescu please review everything, not just the diff of this pull request (which excludes the initial commit)