| ... | @@ -740,7 +740,7 @@ pub fn main() void { | ... | @@ -740,7 +740,7 @@ pub fn main() void { |
| 740 | <tr> | 740 | <tr> |
| 741 | <th scope="row">{#syntax#}f80{#endsyntax#}</th> | 741 | <th scope="row">{#syntax#}f80{#endsyntax#}</th> |
| 742 | <td><code class="c">double</code></td> | 742 | <td><code class="c">double</code></td> |
| 743 | <td>64-bit floating point (64-bit mantissa) IEEE-754-2008 80-bit extended precision</td> | 743 | <td>80-bit floating point (64-bit mantissa) IEEE-754-2008 80-bit extended precision</td> |
| 744 | </tr> | 744 | </tr> |
| 745 | <tr> | 745 | <tr> |
| 746 | <th scope="row">{#syntax#}f128{#endsyntax#}</th> | 746 | <th scope="row">{#syntax#}f128{#endsyntax#}</th> |