Yes, this was a bug: `0:0:0:100:0:0:0:0` is not included in `::/64` (`0:0:0:0:0:0:0:0` to `0:0:0:0:ffff:ffff:ffff:ffff`)