some rational universal hyperbolic geometry