public final Type   DOUBLE_TYPE() {return DOUBLE_CLASS.type();}
public final Type   DOUBLE_TYPE() { return DOUBLE_TYPE.type().resultType(); }
    public final Type   DOUBLE_TYPE() {return DOUBLE_CLASS.type();}