kframework/k — pull request #497 by dwightguth (2014-05-23 15:39:28+00:00)
Title: Floats

Recreating this pull request against the new branch.