min(i32 ** f32)
