conflict on log2 and realsqrt
proper solution to compute exponential in denormal cases
corecting shift_right for cover
 cover retype of ellipke