/ic-reals-6.3/doc/implementation-notes/