let
denominator =
Q
.get_den