A 62-year-old man with type 2 diabetes for 10 years and ischaemic heart disease has an HbA1c of 6.4% (46 mmol/mol) on metformin and an SGLT2 inhibitor. He has occasional mild hypoglycaemic symptoms. According to Australian type 2 diabetes guidance, which HbA1c target is generally appropriate for a patient like him?