Library prosa.util.epsilon

ε is defined as the smallest positive number.
Notation ε := 1 (only parsing).