Re: [GHC] #7043: 32-bit GHC ceiling of negative float SEGFAULT: 11