#![allow(dead_code, deprecated, unused_variables, unused_mut)]
fn main() {
    let v = f64::from_bits(0x4029000000000000);
    assert_eq!(v, 12.5);
}