Convert from point [Didot] to league [UK]

Unit Definition (point [Didot])
The point is a unit of length used by typographers and printers. When printing was done from hand-set metal type, one point represented the smallest element of type that could be handled, roughly 1/64 inch. Eventually, the point was standardized in Britain and America as exactly 1/72.27 = 0.013 837 inch, which is about 0.35 mm (351.46 micrometers). In continental Europe, typographers traditionally used a slightly larger point of 0.014 83 inch (about 1/72 pouce, 0.377 mm, or roughly 1/67 English inch), called a Didot point after the French typographer Firmin Didot (1764-1836). In the U.S., Adobe software defines the point to be exactly 1/72 inch (0.013 888 9 inch or 0.352 777 8 millimeters), a unit sometimes called the big point (bp). The German standards agency DIN has proposed that all these units be replaced by multiples of 0.25 millimeters (1/101.6 inch).

Unit Definition (league [UK])
The league became a common unit of measurement throughout western Europe, although its length varied greatly from region to region. It was originally intended to represent the distance a person could walk in an hour. In many cases it was equal to 3 miles, (note that the definition of a mile also varied from region to region). At sea, the league was often equal to 3 nautical miles, which is 1/20 degree or 5556 meters (metres). In the USA and Great Britain, the league is defined to be 3 statute miles on land, or 3 nautical miles at sea.