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

From: John Cowan <[email-masked]>
Date: Mon, 22 Oct 2018 10:50:37 -0400

On Mon, Oct 22, 2018 at 1:54 AM Mark H Weaver <[email-masked]> 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.