rounded
resolved off unto nearest discretely estimated distance
—defined Fri, 29 Dec 2023 13:47:55 GMT by dwrensha [history]