Re: [pypy-dev] Detecting numpy vs micronumpy