-
Heiko Becker authored
Only zero cases need to be proven for multiplication and division now for IEEE connection of binary operators
7479d15b
Only zero cases need to be proven for multiplication and division now for IEEE connection of binary operators