realmax(Float16) now prints '65500.0' instead of '65504.0' in accordance with the grisu alogrithm (printing the shortest form that can be read back in accurately).