α7000は永久欠番だから、このまま何十年も続いたら
α6999、α6999.9、α6999.99…と漸近していくことになるね