cl_fixnum ecl_fixnum( cl_object n);

float ecl_single_float( cl_object n);

double ecl_double_float( cl_object n);

long double ecl_long_float( cl_object n);