Use GMP instead of LEDA