You are spot on, Cass.
Three and a half hours of really deep sleep; probably 45 minutes of REM crap on top; 45 minutes catnap in the early afternoon. Total – somewhere in the region of 5 hours in every 24.
It’s just how I muddle through life – it isn’t exclusively me worrying about The Iron.