Added handling of denormalized numbers