Re: [GHC] #14377: false result in the addition