Function decodeFloat

runtime/src/rt.js:62–65

(exps, h)

};
const decodeBool = (exps, h) => decodeBytes(exps, h, TAG_BOOL)[0] !== 0;
const decodeFloat = (exps, h) => {
    const b = decodeBytes(exps, h, TAG_FLOAT);
    return new DataView(b.buffer, b.byteOffset, 8).getFloat64(0, true);
};

function encodeStr(exps, s) {
    const bytes = TE.encode(s);