Source: Gelman, A., J. B. Carlin, H. S. Stern, D. B. Dunson, A. Vehtari, and D. B. Rubin. 2014.  Bayesian Data Analysis. 3rd ed. Boca Raton, FL: Chapman & Hall/CRC.
Original source: Newcomb, S. 1891. Measures of the velocity of light made under the direction of the Secretary of the Navy during the years 1880–1882. Astronomical Papers 2: 107-229.
Variable timedev records the time it takes in nanoseconds for  light to travel 7,442 meters, as a  deviation from 24,800 nanoseconds.