A WRS benefit paid to a member, beneficiary, or alternate payee in one lump sum.