On Dec 2, 2013, at 12:20 PM, Richard Sandiford <rdsandif...@googlemail.com> wrote: > I noticed that there were still a couple of tests for zero precision.
> OK to install? Ok.
On Dec 2, 2013, at 12:20 PM, Richard Sandiford <rdsandif...@googlemail.com> wrote: > I noticed that there were still a couple of tests for zero precision.
> OK to install? Ok.