code: public static ParameterDef Double(final double d) {
          final BigDecimal bd = new BigDecimal(String.format(Locale.US, "%f", d)).
              stripTrailingZeros();
  
          return Scaled(Types.DOUBLE, bd.scale());
      }
docs: Double constructor.
  
  @param d the double precision value for the parameter
  @return Parameter definition for given double precision value