Redondo is available in 3 sizes – 1.5, 3, and 5. That refers to the average height in mm. I have all of the numbers in each size as well. There is a reason for the huge investment in custom tools… it’s extremely readable, it pairs well with other fonts and itself, and it is unisex. It is considered a unicase font, though to me it’s really an all – caps font. It is very even as well.
All 3 sizes are represented in these photos.