Library prosa.util.epsilon

ε is defined as the smallest positive number.
Definition ε := 1.