web.py: ratio precision changed