How Long is the Coast of Britain?