demo_string_placeholder13.py:
➜ begtut>python demo_string_placeholder13.py
We have 5.000000e+00.