zero test in O(digits): the eliminator steps a compact literal O(n) by design
(L9), so a big literal is never a nat-eliminate scrutinee here
The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.