let
numerator =
Q
.get_num