Giovanni Mascellani : tests: Test sign rules for float modulus.