Moved fixedPoint into encodings