The textual description (of the Nov 2014 draft I'm reading) also says it returns values x, where a <= x < b, while stating that it requires that a <= b. That's a problem if a == b.