/**
* Convert this double to the equivalent Erlang external representation.
*
* @param buf
* an output stream to which the encoded value should be
* written.
*/
public override void encode(OtpOutputStream buf)
{
buf.write_double(d);
}
