Library prosa.util.epsilon

ε is defined as the smallest positive number.

Notation ε := 1 (only parsing).