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