Added another instance of misc.581 (misc.581a). The bug occurs with integer > #x1000000, which is probably a clue.
Change asserts to a form that indicates the failing conditions in the return value. Add a test that *readtable* is bound in the compilation