De arte supputandi libri quattuor.