/// <summary>
/// Read an array of double
/// </summary>
public double[] ReadDoubles(int count)
{
var result = new Double[count];
var cnt = ReadDoubles(result, 0, count);
if (EOF && cnt == 0) return null;
return result.Take(cnt).ToArray();
}