Symbol: to_fixed_point