Confusion on relational operators and generic types

[ProBaturay]

I was going to compare the numbers, I used the "<" operator, but it was not meant to create a generic type. Parentheses should solve the problem, but do I have to take the b :: number phrase into parentheses every time? Could it be achieved to make it without parentheses? Potentially a bug.