prec_to_partial function