Home
last modified time | relevance | path

Searched refs:bigFromUInt64 (Results 1 – 8 of 8) sorted by relevance

/dports/lang/seed7/seed7/src/
H A Dbig_drv.h33 #define bigFromUInt64(x) 0 macro
79 bigIntType bigFromUInt64 (uint64Type number);
H A Dbinlib.c91 return bld_bigint_temp(bigFromUInt64(take_binary(arg_1(arguments)))); in bin_big()
H A Dfil_rtl.c579 length = bigFromUInt64((uint64Type) file_length); in getBigFileLengthUsingSeek()
994 position = bigFromUInt64((uint64Type) current_file_position + 1); in filBigTell()
H A Dbig_gmp.c850 bigIntType bigFromUInt64 (uint64Type number) in bigFromUInt64() function
H A Dcmd_rtl.c1850 size_of_file = bigFromUInt64((uint64Type) stat_buf.st_size); in cmdBigFileSize()
H A Dbig_rtl.c4634 bigIntType bigFromUInt64 (uint64Type number) in bigFromUInt64() function
5093 logarithm = bigFromUInt64(decimalBlockCount); in bigLog10()
/dports/lang/seed7/seed7/lib/comp/
H A Dbin_act.s7i95 c_expr.result_expr := "bigFromUInt64(";
H A Dbig_act.s7i116 declareExtern(c_prog, "bigIntType bigFromUInt64 (uint64Type);");