digits, and label it 'ms' not 'msec', for consistency with psql's \timing display. Per recent discussions.