[GHC] #8580: Integer size mismatch errors