Index: src/libcfa/stdlib
===================================================================
--- src/libcfa/stdlib	(revision 43f8fd8f7fd40c49aa4acf2e55654f2764ae54e2)
+++ src/libcfa/stdlib	(revision 5ea26ed2fcd7204d100fb83710fcb611e2948b38)
@@ -10,6 +10,6 @@
 // Created On       : Thu Jan 28 17:12:35 2016
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Jul 20 14:32:37 2017
-// Update Count     : 220
+// Last Modified On : Mon Aug  7 11:19:07 2017
+// Update Count     : 223
 //
 
@@ -183,6 +183,9 @@
 //---------------------------------------
 
+[ int, int ] div( int num, int denom );
+[ long int, long int ] div( long int num, long int denom );
+[ long long int, long long int ] div( long long int num, long long int denom );
 forall( otype T | { T ?/?( T, T ); T ?%?( T, T ); } )
-[ T, T ] div( T t1, T t2 );
+[ T, T ] div( T num, T demon );
 
 //---------------------------------------
Index: src/libcfa/stdlib.c
===================================================================
--- src/libcfa/stdlib.c	(revision 43f8fd8f7fd40c49aa4acf2e55654f2764ae54e2)
+++ src/libcfa/stdlib.c	(revision 5ea26ed2fcd7204d100fb83710fcb611e2948b38)
@@ -10,6 +10,6 @@
 // Created On       : Thu Jan 28 17:10:29 2016
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Jul 20 16:01:40 2017
-// Update Count     : 282
+// Last Modified On : Tue Aug  8 17:31:13 2017
+// Update Count     : 291
 //
 
@@ -255,6 +255,9 @@
 //---------------------------------------
 
+[ int, int ] div( int num, int denom ) { div_t qr = div( num, denom ); return [ qr.quot, qr.rem ]; }
+[ long int, long int ] div( long int num, long int denom ) { ldiv_t qr = ldiv( num, denom ); return [ qr.quot, qr.rem ]; }
+[ long long int, long long int ] div( long long int num, long long int denom ) { lldiv_t qr = lldiv( num, denom ); return [ qr.quot, qr.rem ]; }
 forall( otype T | { T ?/?( T, T ); T ?%?( T, T ); } )
-[ T, T ] div( T t1, T t2 ) { return [ t1 / t2, t1 % t2 ]; }
+[ T, T ] div( T num, T denom ) { return [ num / denom, num % denom ]; }
 
 //---------------------------------------