type(max(f64))
