JSON float values

Summary

JSON decoder can not decode certain float values

Steps and/or TTCN-3 code to reproduce

Encode a float value, such as 1.23456789e-6

What is the current bug behavior?

While JSON-decoding type ...: Failed to extract valid token, invalid JSON format Can not decode type ..., because invalid or incomplete message was received

What is the expected correct behavior?

Decode the float value properly

Titan version

8.2.0

Platform details (OS type and version)

All

/cc @aknappqwt