code: protected void writeOperand (final float real) throws IOException
    {
      final int byteCount = NumberFormatUtil.formatFloatFast (real,
                                                              formatDecimal.getMaximumFractionDigits (),
                                                              formatBuffer);
  
      if (byteCount == -1)
      {
        // Fast formatting failed
        write (formatDecimal.format (real));
      }
      else
      {
        m_aOS.write (formatBuffer, 0, byteCount);
      }
      m_aOS.write (' ');
    }
docs: Writes a real real to the content stream.
  
  @param real
  the value to be written
  @throws IOException
  In case of IO error