Moved @mpmont_factor@ to <mp.h>. Documented interface change to