DE asks if Lump Sum distribution is included in fed income (is that income from fed gov or my income claimed on fed return) is dist on 1099-R a lump some distribution?