public new void setDoubleValue(double value) { libsbmlPINVOKE.ConversionOption_setDoubleValue(swigCPtr, value); }