"We're in a little bit of a lull here. The ViacomCBS headquarters in New York City's Times Square. Volume on U.S. exchanges was 10.29 billion shares, compared with the 13.5 billion average for the full session over the last 20 trading days. Volume on U.S. exchanges was 12.72 billion shares, compared with the 14.0 billion average for the full session over the last 20 trading days. The Dow Jones Industrial Average (.DJI) fell 3.09 points, or 0.01%, to 32,420.06.
Provided that 16 billion of dollars are being rounded up trivia.
( z0 provide :ARG2 ( z1 round-up :ARG1 ( z2 monetary-quantity :quant 16000000000 :unit ( z3 dollar ) ) :ARG3 ( z4 trivia ) ) )
(z0 / provide-01
    :ARG2 (z1 / round-up-02
              :ARG1 (z2 / monetary-quantity
                        :quant 16000000000
                        :unit (z3 / dollar))
              :ARG3 (z4 / trivia)))
Provided that 16 billion of dollars are being rounded up trivia .
z2 :quant 0
z2 :unit z3
z1 :ARG1 z2
z0 :ARG2 z1
z1 :ARG3 z4