Symbol: float32_add