New test.

test/libsolidity/semanticTests/constantEvaluator/negative_fractional_mod.sol

@@ -0,0 +1,11 @@
+contract C {
+    function f() public pure returns (int, int) {
+        int x = int((-(-5.2 % 3)) * 5);
+        int t = 5;
+        return (x, (-(-t % 3)) * 5);
+    }
+}
+// ====
+// compileViaYul: also
+// ----
+// f() -> 11, 10