options.c needs #includes of <float.h> and <limits.h>.