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 ( ) ) ; }
Double constructor .