kframework/k — pull request #587 by dwightguth (2014-06-12 14:05:31+00:00)
Title: Floats

@andreistefanescu please review