User blog comment:Deedlit11/Bignum Bakeoff appetizer/@comment-24061664-20140915184506/@comment-2033667-20140915190021

This needs #include  to work.