fix #5025, ordering used by nextfloat/prevfloat