Add quote from Manolios and Vroon JAR paper.
Put e-mail addresses last in author block.
Add a slight clarification about decimal representation claim.
Some minor language tweaks for fixpoint section.
Updates now I’ve verified the more efficient ordinal multiplication.