some moving things around
add fmpr_root, fmprb_root (placeholder code)
add fmpr_min, fmpr_max
add fmprb_set_interval_fmpr, fmprb_union