Symbol: from_fixed_point