Denormal_number loading ...