Add Jeff Dean's 'numbers everyone should know.'