code: public void writeDouble(double v)
      throws IOException
    {
      long bits = Double.doubleToLongBits(v);
      
      _os.write((int) (bits >> 56));
      _os.write((int) (bits >> 48));
      _os.write((int) (bits >> 40));
      _os.write((int) (bits >> 32));
      
      _os.write((int) (bits >> 24));
      _os.write((int) (bits >> 16));
      _os.write((int) (bits >> 8));
      _os.write((int) bits);
    }
docs: Writes a double