super(lin);
double number = lin.readDouble(); String s = Double.toString(number) + System.getProperty("line.separator", "\r\n"); byte[] b = s.getBytes("8859_1"); buf = new int[b.length]; for (int i = 0; i < b.length; i++) { buf[i] = b[i]; }