kframework/k — pull request #1273 by dwightguth (2014-12-31 16:26:54+00:00)
Title: add new isInfinite for floats

@yilongli please review