Some interesting digits we found in 2017

A roundup of miles, dollars and other numbers that occured to us as 2017 was winding down.