integer library sources