Symbol: swap_float32