fixed another double-float issue: make sure doubles are not both included and excluded.