Thanks. It's now numerical.

@bnoordhuis , re renaming to want_separate_host_toolset%, indeed, it looks to me like it should be renamed. See the updated commit.