[GHC] #14377: false result in the addition