Symbol: __big_float_times_power