When arguments are copied to make space for a writable formal parameter, and the formal parameter is relaxed precision, make the copy also relaxed precision.
Track whether formal parameters declare reduced precision and match that with arguments, and if they differ, make a copy to promote the precision.