aoqi@0: package java.lang;
aoqi@0: 
aoqi@0: public class Double extends Number
aoqi@0: {
aoqi@0:     public static Double valueOf(double v) {
aoqi@0:         return new Double(v);
aoqi@0:     }
aoqi@0: 
aoqi@0:     public Double(double v) {
aoqi@0:         value = v;
aoqi@0:     }
aoqi@0: 
aoqi@0:     public double doubleValue() {
aoqi@0:         return value;
aoqi@0:     }
aoqi@0: 
aoqi@0:     private double value;
aoqi@0: }