BUGFIX: in handling of subnormal numbers