sqrt now uses exponentiation by squaring.
Updated copyright years.