jwalanta/Ramsey — pull request #1 by jwalanta (2014-02-19 00:30:54+00:00)
Title: first-cut port to gmp

Non optimized port to GMP.