solidity/test/libsolidity/semanticTests/constantEvaluator/negative_fractional_mod.sol

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