identity elements for +-×÷*∧∨≠⌈⌊, issue #16