Number Theory for Computing