Prefer np.rint() Over np.round() for Integer Rounding of Averages

[SaFE-APIOpt]

issue-metrics/labels.py

Line 127 in 0df77a9

seconds=numpy.round(numpy.average(time_list))

In this line:
seconds = numpy.round(numpy.average(time_list))
you're calculating the average of a list of values and then rounding the result to the nearest integer. Since you're rounding to an integer and not specifying any decimal precision, using numpy.rint() is a more efficient and semantically appropriate alternative:
seconds = numpy.rint(numpy.average(time_list))
If an integer result is specifically needed (not a float like 60.0), you can also cast it:
seconds = int(numpy.rint(numpy.average(time_list)))
np.rint() is lighter and faster, as it directly wraps the C standard library’s rint() function with minimal overhead.

[github-actions]

This issue is stale because it has been open 21 days with no activity. Remove stale label or comment or this will be closed in 14 days.

[github-actions]

This issue was closed because it has been stalled for 35 days with no activity.