- From: Jeffrey Yasskin via GitHub <sysbot+gh@w3.org>
- Date: Tue, 12 Sep 2023 03:05:47 +0000
- To: public-device-apis-log@w3.org
https://en.wikipedia.org/wiki/Decimal_degrees says it's a notation—i.e. a text format—which as @mgiuca says isn't a great description of the numeric value stored in these attributes. I'd lean toward @mgiuica's suggestion as being the shortest option: "... coordinates specified in degrees". If it's important to be really clear that these aren't integers, we could use "... coordinates specified as a real number of degrees", but I think the WebIDL type is clear enough that we don't need that extra length. However, if someone who works with WGS84 professionally says I'm wrong, they're probably right. :) -- GitHub Notification of comment by jyasskin Please view or discuss this issue at https://github.com/w3c/geolocation-api/issues/135#issuecomment-1714894762 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 12 September 2023 03:05:50 UTC