Extraction of programs for exact number computation using Agda. - Chi Ming Chuang (2011)