float_next_after