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);
}