FIXME: Add doc & test.
FIXME: Don't we want to name these functions 'apply()' too?
FIXME: this code sounds really odd. Why does the operator() take value<Self> instead of Self directly ? FIXME: Self should be renamed into Exact.
FIXME: add tests.
1.3.6-20040222