python: Stats.__nonzero__