算术下溢也称为浮点数下溢，是指计算机浮点数计算的结果小于可以表示的最小数。算术下溢出现在计算结果很接近零，使得计算结果的大小小于浮点数可以表示的最小数字。算术下溢也可以视为是浮点数指数在负值时的溢位。例如，浮点数指数范围为-128至127，一个绝对值小于2的浮点数就会造成下溢（假设-128的阶码用于表示负无穷）。
下溢间距.界于−"fminN" and "fminN"之间的区间称为下溢间距（underflow gap），其中"fminN"为一般浮点数格式所能表示的最小正数。