Add fixed point representation. Unsound. Unproven.
Add fold