contract test {
    function f() public {
        uint a = 1/3;
    }
}
// ----
// TypeError 4486: (50-62): Type rational_const 1 / 3 is not implicitly convertible to expected type uint256. Try converting to type ufixed256x77 or use an explicit conversion.
