Use printnum_int consistently

* sock.c (sock_ioctl): Use printnum_int instead of printnum to print
integer type.
* stream.c (sys_getpmsg): Likewise.
diff --git a/stream.c b/stream.c
index ceb9e2d..2aa6366 100644
--- a/stream.c
+++ b/stream.c
@@ -190,7 +190,7 @@
 		for (i = 1; i < 3; i++)
 			printstrbufarg(tcp, tcp->u_arg[i], 1);
 		/* pointer to band */
-		printnum(tcp, tcp->u_arg[3], "%d");
+		printnum_int(tcp, tcp->u_arg[3], "%d");
 		tprints(", ");
 		/* pointer to flags */
 		if (tcp->u_arg[4] == 0)