On Mon, Oct 24, 2022 at 02:17:38AM +, David Holland wrote:
> > TLDR: the "(US) survey foot" is 1200/3937 SI meters, and the
> > "(international) foot" is
> > 0.3048 SI meters, a ratio of about 1.0204000:1 or 1:0.98.
>
> Seems like the right thing to do is
>
>-survey
On Sun, Oct 23, 2022 at 08:36:51PM -0500, Jonathan A. Kollasch wrote:
> > (c) units.lib should get some editorial attention. Does anyone know
> > what "british" is supposed to be there for?
>
> It looks like it's a common definition of the US "survey foot".
>
> https://www.nist.gov/pml/us-s
> TLDR: the "(US) survey foot" is 1200/3937 SI meters, and the
> "(international) foot" is 0.3048 SI meters, a ratio of about
> 1.0204000:1 or 1:0.98.
Fascinating.
(1200/3937)/.3048 ->
1.0204081632640001280002560005120010240020480040960081920163840327680655361
On Mon, Oct 24, 2022 at 12:53:03AM +, David Holland wrote:
> (c) units.lib should get some editorial attention. Does anyone know
> what "british" is supposed to be there for?
It looks like it's a common definition of the US "survey foot".
https://www.nist.gov/pml/us-surveyfoot has some backgr
% units
551 units, 41 prefixes
You have: pint
You want: imperial pint
* 0.83267413
/ 1.20095
Ok, well enough. Lots of people forget that these are different, but
it's a thing and it's good that units knows about it. (Maybe it should
be less US-centric, but that's
