It redirects it to nearbyint, which is then implemented in the runtime as floor(x + 0.5), which rounds ties towards +inf
It redirects it to nearbyint, which is then implemented in the runtime as floor(x + 0.5), which rounds ties towards +inf