public virtual OutStream writeF8(double x) { return writeI8(System.BitConverter.DoubleToInt64Bits(x)); }