Use named-readtables
Since oct wants to use its own readtable to read quad-double objects, it would be nice to use named-readtables to manage the readtables for us.
Since oct wants to use its own readtable to read quad-double objects, it would be nice to use named-readtables to manage the readtables for us.