[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Issue: REAL-NUMBER-TYPE (version 1)



I like this.  It's about time [but probably too late for an X3J13
vote in January?].


-- JonL --