tohrep and tovrep do not preserve numeric type

[schillic]

julia> N = Float32
Float32

julia> H = BallInf(N[0, 0], N(1))
BallInf{Float32}(Float32[0.0, 0.0], 1.0f0)

julia> P = convert(VPolytope, H)
VPolytope{Float32}(Array{Float32,1}[[1.0, 1.0], [-1.0, 1.0], [1.0, -1.0], [-1.0, -1.0]])

julia> tohrep(P)
HPolytope{Float64}(LazySets.HalfSpace{Float64}[
    HalfSpace{Float64}([-0.0, 0.333333], 0.333333),
    HalfSpace{Float64}([0.181818, -0.0], 0.181818),
    HalfSpace{Float64}([-0.0, -0.15], 0.15),
    HalfSpace{Float64}([-0.139535, -0.0], 0.139535)])

[schillic]

For the record: We decided to accept this behavior. CDDLib only supports Float64 and Rational{BigInt}, and it does not make sense to convert back to a different type on our end. The default Polyhedra backend also works for Rational{Int}.