Fixed next_float for double and fixed ULP tests