Comparison with margins.
Notation follows Fortran's functions:
le - At most equal, within margins
Those functions can be used anywhere where we want to be just precise enough.