But do you mind deleting the places where the documented value is redudent with the `@default`, e.g., `EPSILON1`?