Carl Friedrich Gauss
Carl Friedrich Gauss introduced the modulo operation in 1801, restating de Billy's formula as: