Library prosa.util.epsilon
ε
is defined as the smallest positive number.