Generics overload - which one is selected?

[HJarausch]

How about this sentence (from the manual)

`Likewise for generic matches the most specialized generic type (that still 
matches) is preferred:`

For me that should prefer the `T:SomeInteger` version.