support: rational number multiplication