Multiple ways of representing integers in canonicalization section