generic
   type Number is digits <>;
function Multiply (A, B : Number) return Number;