public static void write(float x){
  write(Float.floatToRawIntBits(x));
}

public static void write ( float x ) { write ( Float . floatToRawIntBits ( x ) ) ; }
write the 32 - bit float to standard output .
