E.g. `3.1` can be dumped as `double(3.1)` or `float(3.1)`.