revised NegLogInt_Fn which was meant to be in previous commit