Fix a problem that broke the rotds on some platforms.

runtime/mercury_grade.h:
	MR_GRADE_OPT_PART_11 wasn't being defined if we were using boxed
	double-precision floats.