Singapore has more like 5.5% or so. (That's total expenditure: public plus private added up.)