henlo
signed, cat
unsigned cat
unsigned long long cat
infinite cat. ∞cat is all
@tcql lim(cat·dt) as cat→∞