Using IEEE $754,$ how do we represent Infinity?

exponent of all $1$s and a mantissa of all $0$s

an exponent of all $1$s and a non$-$zero mantissa

exponent of all $1$s and a mantissa of all $1$s

exponent of all $1$s and a mantissa of all $0$s