py-sympy is a stub port
