Add documentation for double_hash().