factored numeric library headers out of options