f64 <= 1 ^ i64
