The dyadic case of a verb is used if the verb has both a left and right argument.
The dyad % (divided by) is defined as the left argument divided by the right argument.
5 % 2 2.5