finished numbers for core-syntax