src/Testcases/YosysTests/regression/issue_00807/top.v - third_party/Surelog - Git at Google

 module top(
 	input signed [7:0] x,
 	output y,
 );

 assign y = x > -$sqrt(9);

 endmodule
	module top(
	input signed [7:0] x,
	output y,
	);

	assign y = x > -$sqrt(9);

	endmodule