public void WriteR8(double value)
{
var destination = new BufferDataDestination();
var writer = new BigEndianWriter(destination);
writer.WriteR8(value);
Verify(value, destination);
}