fscale.x 40000000_80000aaa_000bbbbb ffff0000_00000000_00000000 operr 
fcosh.x	400c0000_b2b40000_00000000 x rn ovfl 
