(gdb) \user{print f}\\
\$1 = 3.14159012\\
(gdb) \user{print f*10}\\
\$2 = 31.415901184082031\\
