What is total amount claimed summed across all the claims?
select sum(amount_claimed) from claims