> man pages present the libc implementation
No, the section 3 man pages for "syscalls" are the libc wrapper functions. But section 2 is the syscalls themselves, and includes man pages for syscalls that don't have wrapper functions.
I don't think those man pages include the numbers though, since those numbers are architecture dependent.