Interesting. What most people would actually classify as 'public investment' is a fair bit lower than the official total we're usually told about...