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