<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"><head><meta http-equiv=Content-Type content="text/html; charset=utf-8"><meta name=Generator content="Microsoft Word 15 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
.MsoChpDefault
{mso-style-type:export-only;}
@page WordSection1
{size:8.5in 11.0in;
margin:70.85pt 56.7pt 56.7pt 56.7pt;}
div.WordSection1
{page:WordSection1;}
--></style></head><body lang=EN-US link="#0563C1" vlink="#954F72"><div class=WordSection1><p class=MsoNormal>Dear all</p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Since there has been a bit of movement on this mailing list, I would like to ask for help on a – ahem – little project that could be a fun (and useful) thing to do.</p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>A few of you may have noticed the paper I published at ELS 2020. The paper is available at</p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><a href="https://www.zenodo.org/record/3759522">https://www.zenodo.org/record/3759522</a></p><p class=MsoNormal>doi: 10.5281/zenodo.3759522</p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>I have a inkling that at least one old-timer liked the paper <span style='font-family:"Segoe UI Emoji",sans-serif'>😊</span></p><p class=MsoNormal>In the paper, I advocate for a “sub-standard” that clarified and interpreted the provisions made for Common Lisp by the “Language Independent Arithmetic” IEC standards.</p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>The paper is a summary. I have already started work on a full fledged “specification” (it is already 60-ish pages long) but there are way too many details I either do not fully understand or for which it would be much better if agreed upon by a few interested parties.</p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>So, given that the starting points are essentially the LIA specs and the C library spec, if you feel like participating in fleshing out the full spec, please say so.</p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>The only constraint I would like to pose is that the specification should be such: i.e., a specification. I believe that “an implementation for X” (X being your favorite CL) would not be all that helpful.</p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>All the best</p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Marco</p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Marco Antoniotti<br>DISCo, Università degli Studi di Milano-Bicocca<o:p></o:p></p><p class=MsoNormal>+39 02 6448 7901<o:p></o:p></p><p class=MsoNormal>bimib.disco.unimib.it<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p></div></body></html>