Home
last modified time | relevance | path

Searched refs:bigFromUInt32 (Results 1 – 5 of 5) sorted by relevance

/dports/lang/seed7/seed7/src/
H A Dbig_drv.h77 bigIntType bigFromUInt32 (uint32Type number);
H A Dfil_rtl.c577 length = bigFromUInt32((uint32Type) file_length); in getBigFileLengthUsingSeek()
992 position = bigFromUInt32((uint32Type) current_file_position + 1); in filBigTell()
H A Dbig_gmp.c832 bigIntType bigFromUInt32 (uint32Type number) in bigFromUInt32() function
H A Dbig_rtl.c1014 divisorCache[0] = bigFromUInt32(base); in getConversionDivisor()
4567 bigIntType bigFromUInt32 (uint32Type number) in bigFromUInt32() function
5091 logarithm = bigFromUInt32(decimalBlockCount); in bigLog10()
5099 bigIntType numDigits = bigFromUInt32( in bigLog10()
H A Dcmd_rtl.c1848 size_of_file = bigFromUInt32((uint32Type) stat_buf.st_size); in cmdBigFileSize()