#1 DoubleParam

[Christian Gruber]

Hi!

It would be nice if there was a new Parameter type for
floating point number parameters. It could basically
look like IntParam, but work with doubles.

Thanks,
Christian