1 calls to
REMOVE_DOUBLE

REAL_ROOTS