Index: src/libcfa/stdlib
===================================================================
--- src/libcfa/stdlib	(revision b2551cebe2dbe7cff92ccba2da8550b8744aa3e2)
+++ src/libcfa/stdlib	(revision 0720e0491a93fec9fc95f4daaaa1652d4955d613)
@@ -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 );
 
 //---------------------------------------