bug#21912: TAI<->UTC conversion botches the unknown

[John Cowan]

On Mon, Oct 22, 2018 at 1:54 AM Mark H Weaver <address@hidden> wrote:

 

This means that TAI-UTC = 4.2131700 + (MJD - 39126) * 0.002592, where
MJD is the modified julian day of the desired TAI-UTC delta.  In this
case, the MJD (modified julian day) of midnight UTC January 1, 1970 is
40587, and plugging that into the equation above yields TAI-UTC =
8.000082 seconds.

Thanks.  I have changed the errata list, the R7RS source (in the "errata" branch), and the cached copy of r7rs.pdf.