Added sections from David on numerial reproducibility and experimental math