moved to python-numexpr