The value of pi is 3.141592.
Pi doubled equals 6.283184.