Implemented with mpmath