Decodes a Plaintext into a double.
double decodeDouble(Plaintext plaintext) { Pointer<Double> ptr = _c_decode_vector_double(library, plaintext.obj); raiseForStatus(); return ptr[0]; }