User blog comment:Vel!/Happy Pi Day/@comment-5150073-20150315122531/@comment-2033667-20150315211725

pi's decimal expansion is not a bitstring