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

Fixes #1353