когато положително цяло число m е разделено на положително цяло число n , остатъкът е 12 . ако m / n  24.2 , каква е стойността на n ?
n  десетична част от 24,2 * остатък i . e. ( 12 ) следователно 0,2 * n  12 n  60 . b
divide(12, reminder(24.2, const_1))