user: What is the c source code of the assembly code below?

```asm
<STR_print_reale>:
  endbr64
  push   %r12
  push   %rbp
  push   %rbx
  mov    %rdi,%rbp
  movslq %esi,%rax
  cmp    $0x63,%esi
  jg     L113
  mov    $0x1,%eax
  cmp    $0x8,%esi
  jle    L91
L108:
  imul   $0x3b9aca00,%rax,%rax
  sub    $0x9,%esi
  cmp    $0x8,%esi
  jg     L108
L91:
  cmp    $0x2,%esi
  jle    L254
L133:
  imul   $0x3e8,%rax,%rax
  sub    $0x3,%esi
  cmp    $0x2,%esi
  jg     L133
L254:
  test   %esi,%esi
  jle    L113
L22:
  lea    (%rax,%rax,4),%rax
  add    %rax,%rax
  sub    $0x1,%esi
  jne    L22
L113:
  test   %dl,%dl
  je     L36
  mov    0x0(%rbp),%rcx
  mov    %dl,(%rcx)
  addq   $0x1,0x0(%rbp)
L36:
  pxor   %xmm1,%xmm1
  comisd %xmm0,%xmm1
  ja     L302
L145:
  movsd  D76(%rip),%xmm1
  comisd %xmm0,%xmm1
  ja     L157
  mov    $0x0,%ebx
  movsd  D15(%rip),%xmm1
  comisd %xmm1,%xmm0
  jb     L227
L234:
  add    $0x9,%ebx
  divsd  %xmm1,%xmm0
  comisd %xmm1,%xmm0
  jae    L234
L227:
  movsd  D7(%rip),%xmm1
  comisd %xmm1,%xmm0
  jb     L124
L187:
  add    $0x3,%ebx
  divsd  %xmm1,%xmm0
  comisd %xmm1,%xmm0
  jae    L187
L124:
  movsd  D82(%rip),%xmm1
  comisd %xmm1,%xmm0
  jb     L258
L158:
  add    $0x1,%ebx
  divsd  %xmm1,%xmm0
  comisd %xmm1,%xmm0
  jae    L158
  mov    $0x0,%r12d
L207:
  cvttsd2si %xmm0,%edx
  mov    0x0(%rbp),%rcx
  lea    0x30(%rdx),%esi
  mov    %sil,(%rcx)
  mov    0x0(%rbp),%rcx
  lea    0x1(%rcx),%rsi
  mov    %rsi,0x0(%rbp)
  movb   $0x2e,0x1(%rcx)
  addq   $0x1,0x0(%rbp)
  pxor   %xmm1,%xmm1
  cvtsi2sd %edx,%xmm1
  subsd  %xmm1,%xmm0
  pxor   %xmm1,%xmm1
  cvtsi2sd %rax,%xmm1
  mulsd  %xmm1,%xmm0
  mov    $0x0,%edx
  cvttsd2si %xmm0,%rsi
  mov    %rbp,%rdi
  call   <STR_print_int@plt>
  mov    0x0(%rbp),%rcx
  movzbl -0x1(%rcx),%edx
  cmp    $0x30,%dl
  jne    L232
  lea    -0x1(%rcx),%rax
L19:
  mov    %rax,%rcx
  mov    %rax,0x0(%rbp)
  sub    $0x1,%rax
  movzbl (%rax),%edx
  cmp    $0x30,%dl
  je     L19
L232:
  cmp    $0x2e,%dl
  je     L222
L174:
  mov    0x0(%rbp),%rax
  movb   $0x65,(%rax)
  mov    0x0(%rbp),%rdx
  lea    0x1(%rdx),%rax
  mov    %rax,0x0(%rbp)
  cmp    $0x1,%r12d
  sbb    %eax,%eax
  and    $0xfffffffe,%eax
  add    $0x2d,%eax
  mov    %al,0x1(%rdx)
  addq   $0x1,0x0(%rbp)
  mov    $0x0,%edx
  mov    %ebx,%esi
  mov    %rbp,%rdi
  call   <STR_print_int@plt>
  mov    0x0(%rbp),%rax
  movb   $0x0,(%rax)
  pop    %rbx
  pop    %rbp
  pop    %r12
  ret
L302:
  mov    0x0(%rbp),%rcx
  mov    %dl,(%rcx)
  addq   $0x1,0x0(%rbp)
  xorpd  D121(%rip),%xmm0
  jmp    L145
L157:
  mov    $0x0,%ebx
  movsd  D15(%rip),%xmm2
  movsd  D135(%rip),%xmm1
  comisd %xmm0,%xmm1
  jbe    L287
L223:
  add    $0x9,%ebx
  mulsd  %xmm2,%xmm0
  comisd %xmm0,%xmm1
  ja     L223
  movsd  D57(%rip),%xmm1
  comisd %xmm0,%xmm1
  jbe    L21
L290:
  movsd  D7(%rip),%xmm2
  movsd  D57(%rip),%xmm1
L265:
  add    $0x3,%ebx
  mulsd  %xmm2,%xmm0
  comisd %xmm0,%xmm1
  ja     L265
L21:
  movsd  D76(%rip),%xmm1
  comisd %xmm0,%xmm1
  jbe    L62
L123:
  movsd  D82(%rip),%xmm2
  movsd  D76(%rip),%xmm1
L29:
  add    $0x1,%ebx
  mulsd  %xmm2,%xmm0
  comisd %xmm0,%xmm1
  ja     L29
  mov    $0x1,%r12d
  jmp    L207
L62:
  mov    $0x1,%r12d
  jmp    L207
L258:
  mov    $0x0,%r12d
  jmp    L207
L222:
  sub    $0x1,%rcx
  mov    %rcx,0x0(%rbp)
  jmp    L174
L287:
  mov    $0x0,%ebx
  movsd  D57(%rip),%xmm1
  comisd %xmm0,%xmm1
  ja     L290
  jmp    L123
```

tool_calls: name: disassemble_data
arguments: data_label: D76
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D15
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D7
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D82
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D121
type_guessed: byte[16]
name: disassemble_data
arguments: data_label: D135
type_guessed: f64
name: disassemble_data
arguments: data_label: D57
type_guessed: f64

tool: {"D76": [0x00,0x00,0x00,0x00,0x00,0x00,0xf0,0x3f]}

tool: {"D15": [0x00,0x00,0x00,0x00,0x65,0xcd,0xcd,0x41]}

tool: {"D7": [0x00,0x00,0x00,0x00,0x00,0x40,0x8f,0x40]}

tool: {"D82": [0x00,0x00,0x00,0x00,0x00,0x00,0x24,0x40]}

tool: {"D121": [0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x80,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00]}

tool: D135: 1e-08

tool: D57: 0.01

assistant: ```c
void STR_print_reale(char **s, double n, int len, char c) {
  int flag = 0, d = 0, dd;
  long long nn;
  if (len >= 100)
    nn = len;
  else {
    nn = 1;
    while (len >= 9) {
      nn *= 1000000000;
      len -= 9;
    }
    while (len >= 3) {
      nn *= 1000;
      len -= 3;
    }
    while (len >= 1) {
      nn *= 10;
      len--;
    }
  }
  if (c) {
    **s = c;
    (*s)++;
  }
  if (n < 0) {
    **s = c;
    (*s)++;
    n = -n;
  }
  if (n < 1) {
    flag = 1;
    while (n < 0.00000001) {
      d += 9;
      n *= 1000000000;
    }
    while (n < 0.01) {
      d += 3;
      n *= 1000;
    }
    while (n < 1) {
      d++;
      n *= 10;
    }
  } else {
    while (n >= 1000000000) {
      d += 9;
      n /= 1000000000;
    }
    while (n >= 1000) {
      d += 3;
      n /= 1000;
    }
    while (n >= 10) {
      d++;
      n /= 10;
    }
  }
  dd = n;
  **s = '0' + dd;
  (*s)++;
  n -= dd;
  **s = '.';
  (*s)++;
  nn = n * nn;
  STR_print_int(s, nn, 0);
  while (*(*s - 1) == '0')
    (*s)--;
  if (*(*s - 1) == '.')
    (*s)--;
  **s = 'e';
  (*s)++;
  **s = flag ? '-' : '+';
  (*s)++;
  STR_print_int(s, d, 0);
  **s = 0;
}
```