Correctly convert smaller floating points into denormals or zero
Take mantissa into account when converting from floating points