precision arithmetic to guarantee the correctness of the implementation.
When naively used, arbitrary precision arithmetic induces quite an
overhead. This can be reduced by the use of filtering techniques.
Last time we have presented the idea of ``structural filtering'' which we
will apply to sorting and searching this time.