symbol_set/rational: some test fixes and additions.