ptr_after_prec = skip_digits(ptr,string_limit,10);
if (ptr_after_prec == ptr) goto not_float_syntax;
var cl_I prec1 = digits_to_I(ptr,ptr_after_prec-ptr,10);
ptr_after_prec = skip_digits(ptr,string_limit,10);
if (ptr_after_prec == ptr) goto not_float_syntax;
var cl_I prec1 = digits_to_I(ptr,ptr_after_prec-ptr,10);
// Count the number of significant digits.
ptr = ptr_after_sign;
while (ptr < ptr_after_fracpart && (*ptr == '0' || *ptr == '.')) ptr++;
// Count the number of significant digits.
ptr = ptr_after_sign;
while (ptr < ptr_after_fracpart && (*ptr == '0' || *ptr == '.')) ptr++;