Division problem on 32-bit OS X