Symbol: float_raise