public virtual OutStream writeF4(double x) { return writeI4(System.BitConverter.ToInt32(System.BitConverter.GetBytes((float)x), 0)); }