20/800 vision here… so, yep. I went with HI lenses also to avoid the ‘tiny eyes’ look and the weight.
My progressive lenses (aka tri-focal) are a blessing. Long-distance, mid-distance, and reading distance are covered. What stopped me for a while was, on principle, the cost of that, especially with HI lenses. It was worth it, though. So convenient.