`numlib`, to align with #161