double as f64