Trying to understand how numeric promotion works in JPQL.