Does anyone know what format the real numbers are stored in? Are they just double-precision IEEE-standard floating point numbers, or what? --Joshua