> BTW, the search "decimal" -keyword:base currently returns 4403 hits, decimal -keyword:base -keyword:cons only returns 792 hits. If it is keyword cons, I don't think it really needs keyword base.