Suppose `x` is a float. I show it with: ``` @info x ``` Usually this prints `x` with full precision. Is there a way to control the formatting (e.g. number of digits) of floating points ?