Fix "size" in flt64 info record description: it's always 8, not 4.