Symbol: float_exception_mask