In issue #70, WG1 voted to make current-seconds an optional procedure, but there is no guidance about what it returns. The second choice, TimeCowan, calls it current-posix-second and makes it return the integral number of seconds since the Posix epoch, excluding all leap seconds. We need a final decision on name and semantics.
We voted to return TAI time as an inexact value.
Modified by #358.