Rollup merge of #125253 - sunsided:feature/FRAC_1_SQRT_PI, r=Mark-Sim… · model-checking/verify-rust-std@c4bd74c

Rollup merge of #125253 - sunsided:feature/FRAC_1_SQRT_PI, r=Mark-Sim… · model-checking/verify-rust-std@c4bd74c

4 files changed

lines changed

Original file line number	Diff line number	Diff line change
`@@ -68,6 +68,13 @@ pub mod consts {`
`68`	`68`	`pub const FRAC_1_SQRT_PI: f128 =`
`69`	`69`	`0.564189583547756286948079451560772585844050629328998856844086_f128;`
`70`	`70`
	`71`	`+/// 1/sqrt(2π)`
	`72`	`+ #[doc(alias = "FRAC_1_SQRT_TAU")]`
	`73`	`+#[unstable(feature = "f128", issue = "116909")]`
	`74`	`+// Also, #[unstable(feature = "more_float_constants", issue = "103883")]`
	`75`	`+pub const FRAC_1_SQRT_2PI: f128 =`
	`76`	`+0.398942280401432677939946059934381868475858631164934657665926_f128;`
	`77`	`+`
`71`	`78`	`/// 2/π`
`72`	`79`	`#[unstable(feature = "f128", issue = "116909")]`
`73`	`80`	`pub const FRAC_2_PI: f128 = 0.636619772367581343075535053490057448137838582961825794990669_f128;`

Original file line number	Diff line number	Diff line change
`@@ -67,6 +67,12 @@ pub mod consts {`
`67`	`67`	`// Also, #[unstable(feature = "more_float_constants", issue = "103883")]`
`68`	`68`	`pub const FRAC_1_SQRT_PI: f16 = 0.564189583547756286948079451560772586_f16;`
`69`	`69`
	`70`	`+/// 1/sqrt(2π)`
	`71`	`+ #[doc(alias = "FRAC_1_SQRT_TAU")]`
	`72`	`+#[unstable(feature = "f16", issue = "116909")]`
	`73`	`+// Also, #[unstable(feature = "more_float_constants", issue = "103883")]`
	`74`	`+pub const FRAC_1_SQRT_2PI: f16 = 0.398942280401432677939946059934381868_f16;`
	`75`	`+`
`70`	`76`	`/// 2/π`
`71`	`77`	`#[unstable(feature = "f16", issue = "116909")]`
`72`	`78`	`pub const FRAC_2_PI: f16 = 0.636619772367581343075535053490057448_f16;`

Original file line number	Diff line number	Diff line change
`@@ -327,6 +327,11 @@ pub mod consts {`
`327`	`327`	`#[unstable(feature = "more_float_constants", issue = "103883")]`
`328`	`328`	`pub const FRAC_1_SQRT_PI: f32 = 0.564189583547756286948079451560772586_f32;`
`329`	`329`
	`330`	`+/// 1/sqrt(2π)`
	`331`	`+ #[doc(alias = "FRAC_1_SQRT_TAU")]`
	`332`	`+#[unstable(feature = "more_float_constants", issue = "103883")]`
	`333`	`+pub const FRAC_1_SQRT_2PI: f32 = 0.398942280401432677939946059934381868_f32;`
	`334`	`+`
`330`	`335`	`/// 2/π`
`331`	`336`	`#[stable(feature = "rust1", since = "1.0.0")]`
`332`	`337`	`pub const FRAC_2_PI: f32 = 0.636619772367581343075535053490057448_f32;`

Original file line number	Diff line number	Diff line change
`@@ -327,6 +327,11 @@ pub mod consts {`
`327`	`327`	`#[unstable(feature = "more_float_constants", issue = "103883")]`
`328`	`328`	`pub const FRAC_1_SQRT_PI: f64 = 0.564189583547756286948079451560772586_f64;`
`329`	`329`
	`330`	`+/// 1/sqrt(2π)`
	`331`	`+ #[doc(alias = "FRAC_1_SQRT_TAU")]`
	`332`	`+#[unstable(feature = "more_float_constants", issue = "103883")]`
	`333`	`+pub const FRAC_1_SQRT_2PI: f64 = 0.398942280401432677939946059934381868_f64;`
	`334`	`+`
`330`	`335`	`/// 2/π`
`331`	`336`	`#[stable(feature = "rust1", since = "1.0.0")]`
`332`	`337`	`pub const FRAC_2_PI: f64 = 0.636619772367581343075535053490057448_f64;`