Batyr_cache: Use fixpoint to improve avg_access_count precision.
Document Batyr_cache.