Float16: add realmin, realmax, nextfloat, eps, maxintfloat