add note about initializing workprec
simplify is_positive and is_negative