let
multq q = mult (of_q q)