Parsing floating point in `.bin.wast`

[ahuoguo]

We currently do not parse floating points in hex. See the commented tests in return_call.bin.wast