i64 / min(f32)
