kframework/k — pull request #1269 by dwightguth (2014-12-26 16:12:22+00:00)
Title: add new floating point function

@yilongli please review