Converted the infidels in DoubleFrameAllocator.