return getBigDecimal().doubleValue();
BigDecimal value = getBigDecimal();  if (value == BIGDECIMAL_NULL_VALUE) return DOUBLE_NULL_VALUE;  return value.doubleValue();
    public double getDouble() throws SQLException {        if (rs.row[numCol]==null) return DOUBLE_NULL_VALUE;        return getBigDecimal().doubleValue();    }