f64.0 diagnose