develop set in SOrbit (not finished yet)
ignore local mpfr