No. It might be part of the calculation when they do housing cost inflation, but I'm not sure.
You could get a back of the envelope number, by taking the ratio of twice the current prices to the prices prior to interest rate increases, since mortgage rates have roughly doubled.
We've been thinking about moving, but even a substantially smaller house in a less expensive area would come with a much higher monthly payment.