Added some number theory.