i64 <= 1 ** f64
