fails on denormalized numbers