min(f32) + i32
