User blog comment:Deedlit11/Bignum Bakeoff appetizer/@comment-24061664-20140915184506/@comment-1605058-20140915193801

It is, in the third line.