How Long Is the Coast of Britain?