internal int AddConstant(double k) { Ensure(9); itsPool[itsTop++] = CONSTANT_Double; long bits = System.BitConverter.DoubleToInt64Bits(k); itsTop = ClassFileWriter.PutInt64(bits, itsPool, itsTop); int index = itsTopIndex; itsTopIndex += 2; itsPoolTypes.Put(index, CONSTANT_Double); return index; }