web2py/web2py — pull request #93 by rpedroso (2013-05-13 23:46:15+00:00)
Title: double -> float

python does not have a built-in double type