public static void write(double x){
  write(Double.doubleToRawLongBits(x));
}

public static void write ( double x ) { write ( Double . doubleToRawLongBits ( x ) ) ; }
write the 64 - bit double to standard output .
