Arguably, it doesn't really make a difference, because every possible 800-page sequence exists as a pair of 400-page books from the original Library, and so on and so forth. The 800-page, 1200-page, 1600-page and every greater length Library is as well-defined, complete, and vacuous as the original 400-page version.