make sure big prec is tested