Separate and improved stuff on going from BigInts to other things.