method
prec_check = prec_check