public static byte[] bgl_double_to_ieee_string( double v ) { return foreign.getbytes( v.ToString() ); }