Derivation of a Fast Integer Square Root Algorithm