BUG: correctly handle placement of pos/neg inf when dividing by integer 0)