public new double getDoubleValue(string key) { double ret = libsbmlPINVOKE.ConversionProperties_getDoubleValue(swigCPtr, key); return ret; }