FactorMultiplicity(b: INT, N: INT): INT
/**/ type(20/2); INT /**/ type(20/7); RAT /**/ FactorMultiplicity(2, 20); 2 /**/ FactorMultiplicity(5, 20); 1 /**/ FactorMultiplicity(7, 20); 0