Did you know? Pop. of Algeria (2023) (44.8million) is 5 x Pop. of Austria (2023) (8.94million)
Men's Olympic High Jump record (2.39 m)
/fact/mens-olympic-high-jump-record
Link
If this was a standard unit ...