max(f32) + i64
