#![allow(dead_code, deprecated, unused_variables, unused_mut)]
fn main() {
    assert!((1f64).to_bits() != 1f64 as u64);
    assert_eq!((12.5f64).to_bits(), 0x4029000000000000);
}