WTF, Nil, how do you set "the largest floating point number" from the ascii command line?  

Anyway, if that's the case, you should set ->default_value(MAX_DBL), instead of ->default_value(10000), below.