Number Theory-oriented Computer Algebra System