type(f64 - f64)
