ebe - number theory for programmers