alpha: fix conversion from denormal float to double