kernel: remove partial floats in scanner; fix support for identifiers of length 1023 and more#2467

fingolfin merged 5 commits intogap-system:mastergap-system/gap:masterfrom

fingolfin:mh/no-partial-floatfingolfin/gap:mh/no-partial-floatCopy head branch name to clipboard