Morning round-up: Definitive property numbers, for once