In fact, grepping through the mpmath repo, this is the only place ext_main is mentioned. @fredrik-johansson, what is this?