Added support for floating-point numbers for "%" and "divisible by" operators

Fixes #1353
As it is a new feature, not a bugfix, it would be 1.17