New floating-point crossing types