Library prosa.util.epsilon

ε is defined as the smallest positive number.

Abbreviation ε := 1 (only parsing).