Searched refs:int_num (Results 1 – 1 of 1) sorted by relevance
256 UInt<INT_SIZE> int_num = num.as_mantissa_type() + 1; in get_table_positive_df() local257 if (int_num > MOD_SIZE) { in get_table_positive_df()259 int_num in get_table_positive_df()263 int_num = rem; in get_table_positive_df()266 UInt<MID_INT_SIZE> result = int_num; in get_table_positive_df()361 UInt<INT_SIZE> int_num = num.as_mantissa_type(); in get_table_negative_df() local362 if (int_num > MOD_SIZE) { in get_table_negative_df()364 int_num in get_table_negative_df()368 int_num = rem; in get_table_negative_df()371 UInt<MID_INT_SIZE> result = int_num; in get_table_negative_df()[all …]