Track whether formal parameters declare reduced precision and match
that with arguments, and if they differ, make a copy to promote the
precision.