Add minor_version parameter to encoding and proper encoding/decoding of ...

...ieee754 binary64