`NumberPart` is never defined