f64 - 1 ** i32
