Proposal to add an Angle format specifier to Angle.to_string()