De arte supputandi, libri quatuor