max(f64 ** 1)
