I just bought a 1.111b domain from Spaceship for 67 cents a year. They are [0-9]{6,9}\.xyz , i.e. 6 to 9 numbers under the .xyz TLD.