Update procedure numerator
and denominator
to built-in
#2503
The logs for this run have expired and are no longer available.
Loading
numerator
and denominator
to built-in
#2503