pub fn count(n: u128, span: Span) -> Result<usize>
A count already worked out, checked against the same ceiling.