[web2py] DecimalWidget _class = double

[Carlos]

Hi,

Just wondering if it's correct that DecimalWidget _class = double (instead 
of decimal)?.

Thanks,

   Carlos