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