External interrupts assigned to the wrong pins?

How are the pins driven? Does the tach positively drive them to 0 or 5V or are they floating inputs and would be erratic unless there's some external or internal pullup-or-pull-down? Maybe: