unsigned next_kwd_id;
StringMap strings;
unsigned next_str_id;
+ unsigned float_precision;
public:
BinaryWriter(IO::Base &o);
+ virtual void set_float_precision(unsigned);
virtual void write(const Statement &st);
private:
void write_(const Statement &st);