OP's .split_ascii() doesn't handle U+2009 as well.
edit: OP's fully native C++ version using Pystd
Hmm? Which code are you looking at?
Hmm? Which code are you looking at?