Today’s puzzling number (Irwin)