Make +,*,min,max support precise unary types.

Closes PR 13563.