rnndec: Fix float16 conversion for denormal numbers.