kframework/k — pull request #1001 by yilongli (2014-09-26 17:01:42+00:00)
Title: fixed a bunch of missing methods related to FloatToken

Separated from https://github.com/kframework/k/pull/968 since that pull request is going to take a while.

@dwightguth please review