kframework/k — pull request #1081 by dwightguth (2014-10-20 13:26:15+00:00)
Title: add back sqrtFloat function

@yilongli please review