Symbol: syst_float32_add