107 if (idx1.
is_colon ()) right =
false;
183 os.write (reinterpret_cast<char *> (&r), 4);
184 os.write (reinterpret_cast<char *> (&c), 4);
192 warning (
"save: some values too large to save as floats --");
193 warning (
"save: saving as doubles instead");
200 double max_val, min_val;
205 const double *mtmp = m.
data ();
217 if (! (is.read (reinterpret_cast<char *> (&r), 4)
218 && is.read (reinterpret_cast<char *> (&c), 4)
219 && is.read (reinterpret_cast<char *> (&tmp), 1)))
230 read_doubles (is, re, static_cast<save_type> (tmp), len, swap, fmt);