Thanks, but that wasn’t what I was looking for, tho.
For future Googlers, there doesn’t seem to be a specific function, but here is something similar and simple:
$content_full = apply_filters('the_content', $post->post_content);
$content = explode("<!--nextpage-->", $content_full);
$page = count($content);
echo $page[$i];