extern const cl_FF float_sign (const cl_FF& x);
// float_digits(x) liefert (float-digits x), wo x ein Float ist.
-// < ergebnis: ein uintL >0
-extern uintL float_digits (const cl_FF& x);
+// < ergebnis: ein uintC >0
+extern uintC float_digits (const cl_FF& x);
// float_precision(x) liefert (float-precision x), wo x ein Float ist.
-// < ergebnis: ein uintL >=0
-extern uintL float_precision (const cl_FF& x);
+// < ergebnis: ein uintC >=0
+extern uintC float_precision (const cl_FF& x);
// integer_decode_float(x) liefert zu einem Float x: (integer-decode-float x).
// scale_float(x,delta) liefert x*2^delta, wo x ein FF ist.
-extern const cl_FF scale_float (const cl_FF& x, sintL delta);
+extern const cl_FF scale_float (const cl_FF& x, sintC delta);
extern const cl_FF scale_float (const cl_FF& x, const cl_I& delta);