If both operands are nonnegative then the remainder is nonnegative; if not, the sign of the remainder is implementation-defined".
Jeśli oba operandy są nieujemne to reszta jest nieujemna; w przeciwnym razie znak reszty jest zależny od implementacji ".