Done with newBIG() and toString()