Define modulo operator for non-integral numeric values

The div operator is defined for numeric operands.

The mod operator is only defined for integral operands, but the section on the mod operator contains rules for decimal operands.

Clarify whether mod supports non-integral numeric operands, and how it is calculated, e.g. a mod b = a sub b mul floor(a div b)