Function creusot_contracts::std::intrinsics::rintf32

pub unsafe extern "rust-intrinsic" fn rintf32(x: f32) -> f32

🔬This is a nightly-only experimental API. (core_intrinsics)

Returns the nearest integer to an f32. Changing the rounding mode is not possible in Rust, so this rounds half-way cases to the number with an even least significant digit.

May raise an inexact floating-point exception if the argument is not an integer. However, Rust assumes floating-point exceptions cannot be observed, so these exceptions cannot actually be utilized from Rust code. In other words, this intrinsic is equivalent in behavior to nearbyintf32 and roundevenf32.

The stabilized version of this intrinsic is f32::round_ties_even