Symbol: fp_power