WMAPRO: use some type punning in decode_coeffs()