creusot_contracts
0.3.0
In creusot_contracts::std::f64::consts
Constant
creusot_contracts
::
std
::
f64
::
consts
::
SQRT_2
Copy item path
1.0.0
·
source
·
[
−
]
pub const SQRT_2:
f64
= 1.41421356237309504880168872420969808_f64; // 1.4142135623730951f64
Expand description
sqrt(2)