Bugzilla – Bug 44
IntegerDefaultValue works easily for floating point variables
Last modified: 2008-07-01 13:32:15 EDT
So, we should rename it to NumericDefaultValue to make it more widely usable.