I mean the compiler generates the similar bytecode...

# random

[michaelrocks]

I mean the compiler generates the similar bytecode for this expression when using different types. And it seems to me you want the compiler to be smarter than it should be.