Clarify behavior when you shrink using values that do not match bin edges

[HDembinski]

The current behaviour is not documented and needs to be updated. A shrink should always be conservative:

• on the low end, it should kep the bin in which the lower value falls
• on the high end, it should keep the bin in which the upper value falls

[HDembinski]

closed in develop