p-dbl outputs a floating point number expression given by <double number>. The output is sent to a client that made the request. If this is within write-string, then <double number> is output into the buffer that builds a new string.
Note that number must be of "dbl" type (which is "double" C type).
