Irma by the numbers

Before crashing into Florida, Hurricane Irma set all sorts of records for brute strength as it flattened Caribbean islands and swamped the Florida Keys.