In actuality, the number e rounded to 20 decimal places is: