On Saturday, 27 October 2012 at 19:08:02 UTC, H. S. Teoh wrote: > No it's not a bug, because the value is *not* known to be zero > at compile-time (it depends on what value you put in the > BigInt). I think I read the question wrong earlier. My apologies.