arith005(ghci) is broken on OS X x86 (#7043)