Alaska has a coastline of about 6.64 thousand miles. Florida has about 1.35 thousand miles of coastline. How many times more miles of coastline does Alaska have than Florida?