funnily the example used, i.e `printf` of single values is very special. Under the hood, variadic arguments that are `single` are actually converted to `double`

funnily the example used, i.e `printf` of single values is very special. Under the hood, variadic arguments that are `single` are actually converted to `double`. See the `cvtss2sd` in [1]. [1]: https://godbolt.org/z/Yr7Kn4vqr https://godbolt.org/z/Yr7Kn4vqr