opencog/relex — pull request #180 by williampma (2014-09-24 08:25:27+00:00)
Title: Integer.toString to Double.toString

Integer.toString to Double.toString