User blog comment:Deedlit11/Bignum Bakeoff appetizer/@comment-24061664-20140915184506/@comment-5529393-20140915194018

but I think if it's not given a value then it can be anything. I'm not sure though.