lamports += to checked_add (#16841)