int gzbi(const real & i) { return i.get_int(); }
int gnobi(const real & i) { return -i.get_int() - 1; }
std::string generate_name(const real & c, const real & m, const real & n, const std::string & name) { char raw_string[4096]; std::sprintf(raw_string, "data/pro_%08d_%03d_%03d_%s.txt", (real("1000.0") * c).get_int(), m.get_int(), n.get_int(), name.c_str()); return std::string(raw_string); }