Restore optional slow but more precise operation for AreaAllocator. Disabled by default.