Counting rational points on Hirzebruch–Kleinschmidt varieties over number fields | Synapse