flush-to-zero behavior in floating-point arithmetic flush-to-zero behavior in floating-point arithmetic c c