@silverwizard At a previous job, we were allocated a /23 out of 192.211.0.0/16 from ARIN.
We ended up migrating our loopbacks and /31s into it, because our original plan, using it for business customers who needed routables in the era of CGNAT, resulted in way too much, "Nooooo! We need a PUBLIC IP!" from idiot IT workers.