Symbol: float32_sub