It should be greater_eq_s_d. As tests are passing, update the tests to show this error, then after that, fix this.