SAFE estimates rounding errors and detects numerical instabilities in programs using floating-point numbers with arbitrary mantissa-length and arbitrary exponent-length.