max(f64) + i64
