abstract value formatting