compactU128: Shape<bigint, bigint> = ...