CAST in sql only when strincly necessary, still, can be better
Merge branch 'master' of github.com:web2py/web2py
codemirror3, thanks Roberto