Agda2 Examples: Extraction of Programs from Proofs for Real Number Computation

Evaluating example1/3 10 returns the first 10 digits of 1/3, similarly for example1/4 n, example-1/3 n, ...