Stefan Krah added the comment: Fine, I'm also optimizing and the "fix" isn't going into libmpdec. Android can use the Python version of decimal. ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue23496> _______________________________________