type(f64 + f64)
