Added some div tests, fixed add to have posinf win over neginf