If K is a polyhedral cone, the test x in K only supports x with rational coordinates. It is desirable in many cases to perform the same test with irrational numbers as well.

This will simplify the implementation in ticket #29169.

CC: @kliem @jplab @novoselt

Component: geometry

Author: Michael Orlitzky

Branch/Commit: 7ea2dd8

Reviewer: Jonathan Kliem

Issue created by migration from https://trac.sagemath.org/ticket/30605