opencog/opencog — pull request #900 by linas (2014-06-26 19:37:01+00:00)
Title: Bugfix for failing MOSESUTest

Needed to print a few more decimal places :-(