user: What would the C source look like for the assembly code provided here:

```asm
<PrintFP>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x20,%rsp
  movsd  %xmm0,-0x18(%rbp)
  mov    %rdi,-0x20(%rbp)
  movl   $0x0,-0x8(%rbp)
  pxor   %xmm0,%xmm0
  comisd -0x18(%rbp),%xmm0
  jbe    L138
  mov    -0x20(%rbp),%rax
  mov    %rax,%rsi
  mov    $0x2d,%edi
  call   <PrintCh@plt>
  movsd  -0x18(%rbp),%xmm0
  movq   D47(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
L138:
  movsd  -0x18(%rbp),%xmm0
  comisd D52(%rip),%xmm0
  jb     L87
  mov    -0x18(%rbp),%rax
  movq   %rax,%xmm0
  call   <log10@plt>
  cvttsd2si %xmm0,%eax
  mov    %eax,-0x8(%rbp)
  jmp    L29
L87:
  movsd  D6(%rip),%xmm0
  comisd -0x18(%rbp),%xmm0
  jb     L29
  pxor   %xmm0,%xmm0
  ucomisd -0x18(%rbp),%xmm0
  jp     L160
  pxor   %xmm0,%xmm0
  ucomisd -0x18(%rbp),%xmm0
  je     L29
L160:
  mov    -0x18(%rbp),%rax
  movq   %rax,%xmm0
  call   <log10@plt>
  movq   %xmm0,%rax
  movsd  D2(%rip),%xmm0
  movq   %rax,%xmm1
  subsd  %xmm0,%xmm1
  cvttsd2si %xmm1,%eax
  mov    %eax,-0x8(%rbp)
L29:
  mov    -0x8(%rbp),%edx
  mov    D125(%rip),%rax
  mov    %edx,%edi
  movq   %rax,%xmm0
  call   <pow@plt>
  movapd %xmm0,%xmm1
  movsd  -0x18(%rbp),%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  -0x18(%rbp),%xmm0
  cvttsd2si %xmm0,%rax
  mov    %eax,%edi
  mov    -0x20(%rbp),%rax
  mov    %rax,%r8
  mov    $0x0,%ecx
  mov    $0x0,%edx
  mov    $0x0,%esi
  call   <PrintInt@plt>
  mov    -0x20(%rbp),%rax
  mov    %rax,%rsi
  mov    $0x2e,%edi
  call   <PrintCh@plt>
  movsd  -0x18(%rbp),%xmm0
  cvttsd2si %xmm0,%rax
  pxor   %xmm2,%xmm2
  cvtsi2sd %rax,%xmm2
  movsd  -0x18(%rbp),%xmm0
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D125(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  pxor   %xmm0,%xmm0
  comisd -0x18(%rbp),%xmm0
  jbe    L98
  movsd  D78(%rip),%xmm0
  comisd -0x18(%rbp),%xmm0
  setae  %al
  jmp    L4
L98:
  movsd  -0x18(%rbp),%xmm0
  comisd D6(%rip),%xmm0
  setae  %al
L4:
  test   %al,%al
  je     L26
  movl   $0x6,-0x4(%rbp)
  jmp    L55
L155:
  movsd  -0x18(%rbp),%xmm1
  movsd  D6(%rip),%xmm0
  addsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%rax
  add    $0x30,%eax
  movsbl %al,%eax
  mov    -0x20(%rbp),%rdx
  mov    %rdx,%rsi
  mov    %eax,%edi
  call   <PrintCh@plt>
  movsd  -0x18(%rbp),%xmm1
  movsd  D6(%rip),%xmm0
  addsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%rax
  pxor   %xmm2,%xmm2
  cvtsi2sd %rax,%xmm2
  movsd  -0x18(%rbp),%xmm0
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D125(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  subl   $0x1,-0x4(%rbp)
L55:
  cmpl   $0x0,-0x4(%rbp)
  jle    L152
  pxor   %xmm0,%xmm0
  comisd -0x18(%rbp),%xmm0
  jbe    L159
  movsd  D78(%rip),%xmm0
  comisd -0x18(%rbp),%xmm0
  jae    L155
  jmp    L152
L159:
  movsd  -0x18(%rbp),%xmm0
  comisd D6(%rip),%xmm0
  jae    L155
  jmp    L152
L26:
  mov    -0x20(%rbp),%rax
  mov    %rax,%rsi
  mov    $0x30,%edi
  call   <PrintCh@plt>
L152:
  cmpl   $0x0,-0x8(%rbp)
  je     L39
  mov    -0x20(%rbp),%rax
  mov    %rax,%rsi
  mov    $0x65,%edi
  call   <PrintCh@plt>
  mov    -0x20(%rbp),%rdx
  mov    -0x8(%rbp),%eax
  mov    %rdx,%r8
  mov    $0x0,%ecx
  mov    $0x0,%edx
  mov    $0x0,%esi
  mov    %eax,%edi
  call   <PrintInt@plt>
L39:
  nop
  leave
  ret
```

tool_calls: name: disassemble_data
arguments: data_tag: D47
type: f32[2]
name: disassemble_data
arguments: data_tag: D52
type: f64[2]
name: disassemble_data
arguments: data_tag: D6
type: byte[16]
name: disassemble_data
arguments: data_tag: D2
type: f64
name: disassemble_data
arguments: data_tag: D125
type: f64
name: disassemble_data
arguments: data_tag: D78
type: byte[8]

tool: {"D47": [0.0,-0.0]}

tool: {"D52": [10000000.0,1e-7]}

tool: {"D6": [0x48,0xaf,0xbc,0x9a,0xf2,0xd7,0x7a,0x3e,0xa1,0x8f,0x76,0xff,0xff,0xff,0xef,0x3f]}

tool: D2: 0.999999999

tool: D125: 10

tool: {"D78": [0x48,0xaf,0xbc,0x9a,0xf2,0xd7,0x7a,0xbe]}

assistant: ```c
void PrintFP(double Num, struct OutputStream *Stream) {
  int Exponent = 0;
  int MaxDecimal;
  if (Num < 0) {
    PrintCh('-', Stream);
    Num = -Num;
  }
  if (Num >= 1e7)
    Exponent = log10(Num);
  else if (Num <= 1e-7 && Num != 0.0)
    Exponent = log10(Num) - 0.999999999;
  Num /= pow(10.0, Exponent);
  PrintInt((long)Num, 0, 0, 0, Stream);
  PrintCh('.', Stream);
  Num = (Num - (long)Num) * 10;
  if ((((Num) < 0) ? (-(Num)) : (Num)) >= 1e-7) {
    for (MaxDecimal = 6; MaxDecimal > 0 && (((Num) < 0) ? (-(Num)) : (Num)) >= 1e-7; Num = (Num - (long)(Num + 1e-7)) * 10, MaxDecimal--)
      PrintCh('0' + (long)(Num + 1e-7), Stream);
  } else
    PrintCh('0', Stream);
  if (Exponent != 0) {
    PrintCh('e', Stream);
    PrintInt(Exponent, 0, 0, 0, Stream);
  }
}
```