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