unlock tests about rational number literals
rational number literal reads exact integer if possible
r7rs-test: print all failed tests in the end
update docs