void main() {
    test(0 >= 5);
    test(4 >= 5);
    test(5 >= 5);
    test(6 >= 5);
    test(10 >= 5);
    test(0.0 >= 5.0);
    test(4.0 >= 5.0);
    test(5.0 >= 5.0);
    test(6.0 >= 5.0);
    test(10.0 >= 5.0);
}