Add minor_version parameter to encoding and proper encoding/decoding of ieee754 binary64