import numberdb.sage as numberdb
from sage.rings.real_arb import RealBallField
from sage.rings.rational_field import QQ
R = RealBallField(400)
print((272 + 112*R(7).sqrt())/27)
print(QQ(256)/27)The four decimal entries are computed to 100 significant decimal digits. The unique real root $t_0$ is enclosed by bisection with exact rational endpoints; Arb ball arithmetic certifies the signs and propagates the root enclosure through the radius formulas. Working precision is the bit equivalent of the requested digits plus 96 bits, and bisection uses 40 extra bits. At 100 digits every output ball has radius below $10^{-108}$. The maximal planar entry is the exact rational $256/27$.
Independent computations at 160 and 200 decimal digits use the planar-map characteristic system and the network equation, followed by the Appendix coefficient $B_2$ and $\rho=R\exp(B_2/R)$. They agree within $10^{-150}$. The attached checks also verify the 3-connected algebraic equation, the all/connected equality, the ordering implied by inclusion, and 50 exact successive ratios of Tutte's triangulation counts. The numerical cross-checks supplement the certified enclosures; they are not their error bounds.