Text this: Computers in number theory