Cyc_bignum_cmp Cyc_bignum_normalize Cyc_bit_set Cyc_bit_unset Cyc_div Cyc_div_op Cyc_expt Cyc_fast_div Cyc_fast_mul Cyc_fast_sub Cyc_fast_sum Cyc_if Cyc_int2bignum Cyc_integer2char Cyc_make_rectangular Cyc_mul Cyc_mul_op Cyc_num_cmp_va_list Cyc_num_eq Cyc_num_eq_op Cyc_num_fast_eq_op Cyc_num_fast_gt_op Cyc_num_fast_gte_op Cyc_num_fast_lt_op Cyc_num_fast_lte_op Cyc_num_gt Cyc_num_gt_op Cyc_num_gte Cyc_num_gte_op Cyc_num_lt Cyc_num_lt_op Cyc_num_lte Cyc_num_lte_op Cyc_num_op_va_list Cyc_number2string2 Cyc_remainder Cyc_sub Cyc_sub_op Cyc_sum Cyc_sum_op MRG32k3a return_exact_double_op return_exact_double_op_no_cps return_inexact_double_op return_inexact_double_op_no_cps return_inexact_double_or_cplx_op return_inexact_double_or_cplx_op_no_cps unbox_number

int Cyc_num_lte_op ( void *  , object  x, object  y  )