Added property "prec".