kframework/k — pull request #491 by dwightguth (2014-05-22 23:02:54+00:00)
Title: add floats to java rewrite engine

@andreistefanescu please review.