Writes an eight-byte double using the current endian format.
void writeDouble(double v) { final d = ByteData(8)..setFloat64(0, v, endian); _dest.add(d.buffer.asUint8List(d.offsetInBytes, 8)); }