+
+ /** Enables output compression. Once enabled, it won't be possible to
+ disable compression. */
+ void set_compressed();
+
+ /** Sets the precision of floating point numbers in bits. Depending on the
+ mode not all values may be valid, but any value between 16 and 64 that is
+ divisible by 8 is guaranteed to work. */
+ void set_float_precision(unsigned);