semantic: Use new min_normal floating values